Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
Abstract elided by the publisher.
Related papers
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Recent Developments in FDR CAV 2012
- A semantics for web services authentication POPL 2004
- Type Regression Testing to Detect Breaking Changes in Node.js Libraries ECOOP 2018
- How to Securely Replicate Services TOPLAS 1994
- Side-channel Elimination via Partial Control-flow Linearization TOPLAS 2023
- Generalized Certificate Revocation POPL 2000
- Orbitopal Fixing in SAT TACAS 2026