A New Knowledge Representation Strategy for Cryptographic Protocol Analysis
Abstract elided by the publisher.
Related papers
- HACCLE: metaprogramming for secure multi-party computation GPCE 2021
- A semantics for web services authentication POPL 2004
- 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
- Cryptographic Protocol Analysis on Real C Code VMCAI 2005
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques TACAS 1999
- A Simple Language for Real-Time Cryptographic Protocol Analysis ESOP 2003