A Type and Effect Analysis of Security Protocols
No abstract available.
Related papers
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Divide and Conquer: A Compositional Approach to Game-Theoretic Security OOPSLA 2025
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003
- Finite-State Analysis of Security Protocols CAV 1998
- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis ESOP 2001
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008
- The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis CAV 2008
- The TAMARIN Prover for the Symbolic Analysis of Security Protocols CAV 2013