Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
Project: VeSPA
Updated at: 28-04-2024
Show more
information
Project acronym
VeSPA