Automated Verification of Equivalence Properties of Cryptographic Protocols
Abstract elided by the publisher.
Related papers
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols ESOP 2009
- A Core Calculus for Equational Proofs of Cryptographic Protocols POPL 2023
- A monadic framework for relational verification: applied to information security, program equivalence, and optimizations CPP 2018
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA 2023
- Automatic Verification of Time Sensitive Cryptographic Protocols TACAS 2004
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques TACAS 1999