Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience
No abstract available.
DOI 10.1007/978-3-642-25379-9_27
Related papers
- ILC: a calculus for composable, computational cryptography PLDI 2019
- Towards secure integration of cryptographic software Onward! 2015
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- HACCLE: metaprogramming for secure multi-party computation GPCE 2021
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003
- Pipelonk: Accelerating End-to-End Zero-Knowledge Proof Generation on GPUs for PLONK-Based Protocols PPoPP 2026