Models and Proofs of Protocol Security: A Progress Report
Abstract elided by the publisher.
Related papers
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience CPP 2011
- Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL CPP 2020
- Computationally Sound, Automated Proofs for Security Protocols ESOP 2005
- ILC: a calculus for composable, computational cryptography PLDI 2019
- Model Checking Security Protocols Using a Logic of Belief TACAS 2000
- End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract CAV 2020
- Efficient lookup-table protocol in secure multiparty computation ICFP 2012
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023