EasyChair Smart Slide
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions