Cryptographic Protocol Analysis on Real C Code
Abstract elided by the publisher.
Related papers
- A Simple Language for Real-Time Cryptographic Protocol Analysis ESOP 2003
- 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
- Modular verification of security protocol code by typing POPL 2010
- Towards secure integration of cryptographic software Onward! 2015