Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.

Emanuele D'Osualdo, Felix Stutz

Browse the full CONCUR paper archive.