A Simple Language for Real-Time Cryptographic Protocol Analysis
Abstract elided by the publisher.
Related papers
- Cryptographic Protocol Analysis on Real C Code VMCAI 2005
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003
- Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis CAV 2000
- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation ESOP 2004
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques TACAS 1999
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis TACAS 2003
- Automatic Verification of Time Sensitive Cryptographic Protocols TACAS 2004
- Towards secure integration of cryptographic software Onward! 2015