Analyzing Cryptographic Protocols in a Reactive Framework
Abstract elided by the publisher.
Related papers
- ILC: a calculus for composable, computational cryptography PLDI 2019
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Towards secure integration of cryptographic software Onward! 2015
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003
- Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks Onward! 2016
- Abstracting Cryptographic Protocols with Tree Automata SAS 1999