Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
From MaRDI portal
Publication:2948400
DOI10.1007/978-3-662-46803-6_23zbMath1375.94097OpenAlexW2292194655MaRDI QIDQ2948400
Gilles Barthe, Juan Manuel Crespo, Benedikt Schmidt, Yassine Lakhneche
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
Related Items
Short variable length domain extenders with beyond birthday bound security ⋮ Multi-user CDH problems and the concrete security of \(\mathsf{NAXOS}\) and \(\mathsf{X3DH}\) ⋮ State separation for code-based game-playing proofs