On optimal tightness for key exchange with full forward secrecy via key confirmation

DOI10.1007/978-3-031-38551-3_10MaRDI QIDQ6149609zbMATH OpenOpenAlexFDO

Authors Kai Gellert, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager

Publication date 6 February 2024

Published in Advances in Cryptology – CRYPTO 2023 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-38551-3_10

zbMATH Keywords

implicitly authenticated Diffie-Hellman protocolssignal and noise protocols

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Key exchange with tight (full) forward secrecy via key confirmation
• Highly efficient key exchange protocols with optimal tightness
• On Forward Secrecy in One-Round Key Exchange
• Authenticated key exchange and signatures with tight security in the standard model
• Tightly-secure authenticated key exchange, revisited

Cites work

• Authenticated key exchange and signatures with tight security in the standard model
• Authenticated key exchange secure against dictionary attacks
• Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal
• Highly efficient key exchange protocols with optimal tightness
• HMQV: A High-Performance Secure Diffie-Hellman Protocol
• scientific article; zbMATH DE number 1617924 (Why is no real title available?)
• scientific article; zbMATH DE number 1722690 (Why is no real title available?)
• scientific article; zbMATH DE number 1263181 (Why is no real title available?)
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• scientific article; zbMATH DE number 2086712 (Why is no real title available?)
• More efficient digital signatures with tight multi-user security
• On Forward Secrecy in One-Round Key Exchange
• On the impossibility of tight cryptographic reductions
• On the security of the TLS protocol: a systematic analysis
• Practical and tightly-secure digital signatures and authenticated key exchange
• Signed Diffie-Hellman key exchange with tight security
• Simplifying game-based definitions -- indistinguishability up to correctness and its application to stateful AE
• Stronger Security of Authenticated Key Exchange
• Tightly-secure authenticated key exchange
• Tightly-secure authenticated key exchange, revisited
• Waters signatures with optimal security reduction
• Why Proving HIBE Systems Secure Is Difficult

Cited in

(4)

• \textsf{TOPAS} 2-pass key exchange with full perfect forward secrecy and optimal communication complexity
• Key exchange with tight (full) forward secrecy via key confirmation
• Latke: a framework for constructing identity-binding PAKEs
• Count corruptions, not users: improved tightness for signatures, encryption and authenticated key exchange

This page was built for publication: On optimal tightness for key exchange with full forward secrecy via key confirmation

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