Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques
Abstract elided by the publisher.
Related papers
- Automatic Verification of Time Sensitive Cryptographic Protocols TACAS 2004
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- Bisimulation for Quantum Processes TOPLAS 2012
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols ESOP 2009
- Automated Verification of Equivalence Properties of Cryptographic Protocols ESOP 2012
- Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks OOPSLA 2023
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003
- Bisimulation for quantum processes POPL 2011