A Bisimulation Method for Cryptographic Protocols
Abstract elided by the publisher.
Related papers
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Bisimulation for Quantum Processes TOPLAS 2012
- A Core Calculus for Equational Proofs of Cryptographic Protocols POPL 2023
- Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis CAV 2000
- Bisimulation for quantum processes POPL 2011
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- Modular verification of security protocol code by typing POPL 2010
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003