On the Secure Implementation of Security Protocols
Abstract elided by the publisher.
Related papers
- AGVI - Automatic Generation, Verification, and Implementation of Security Protocols CAV 2001
- Verified interoperable implementations of security protocols TOPLAS 2008
- Modular verification of security protocol code by typing POPL 2010
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Verification of Security Protocols VMCAI 2009
- Security, Protocols, and Trust VMCAI 2004
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003