Mind the gap: modular machine-checked proofs of one-round key exchange protocols

DOI10.1007/978-3-662-46803-6_23MaRDI QIDQ2948400zbMATH OpenOpenAlexFDO

Authors Gilles Barthe, Juan Manuel Crespo, Benedikt Schmidt, Yassine Lakhnech

Publication date 30 September 2015

Published in Advances in Cryptology - EUROCRYPT 2015 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46803-6_23

zbMATH Keywords

EasyCryptinteractive theorem provingkey exchangeprovable securitysecurity protocols

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Modular Security Proofs for Key Agreement Protocols
• A security proof for key exchange protocols
• One-round key exchange with strong security: an efficient and generic construction in the standard model
• Stronger Security of Authenticated Key Exchange
• Strongly secure one round authenticated key exchange protocol with perfect forward security

Cited in

(4)

• Short variable length domain extenders with beyond birthday bound security
• State separation for code-based game-playing proofs
• Modular Security Proofs for Key Agreement Protocols
• Multi-user CDH problems and the concrete security of \(\mathsf{NAXOS}\) and \(\mathsf{X3DH}\)

This page was built for publication: Mind the gap: modular machine-checked proofs of one-round key exchange protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948400)