From Secrecy to Authenticity in Security Protocols
Abstract elided by the publisher.
Related papers
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols CAV 2003
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- A semantics for web services authentication POPL 2004
- Authentication Primitives and Their Compilation POPL 2000
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Verifying Secrets and Relative Secrecy POPL 2000
- Pattern-Based Abstraction for Verifying Secrecy in Protocols TACAS 2003
- Compositional Analysis of Authentication Protocols ESOP 2004