International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Highly Efficient Key Exchange Protocols with Optimal Tightness

Authors:
Katriel Cohn-Gordon
Cas Cremers
Kristian Gjøsteen
Håkon Jacobsen
Tibor Jager
Download:
DOI: 10.1007/978-3-030-26954-8_25 (login may be required)
Search ePrint
Search Google
Abstract: In this paper we give nearly-tight reductions for modern implicitly authenticated Diffie-Hellman protocols in the style of the Signal and Noise protocols, which are extremely simple and efficient. Unlike previous approaches, the combination of nearly-tight proofs and efficient protocols enables the first real-world instantiations for which the parameters can be chosen in a theoretically sound manner.Our reductions have only a linear loss in the number of users, implying that our protocols are more efficient than the state of the art when instantiated with theoretically sound parameters. We also prove that our security proofs are optimal: a linear loss in the number of users is unavoidable for our protocols for a large and natural class of reductions.
Video from CRYPTO 2019
BibTeX
@article{crypto-2019-29932,
  title={Highly Efficient Key Exchange Protocols with Optimal Tightness},
  booktitle={Advances in Cryptology – CRYPTO 2019},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={11694},
  pages={767-797},
  doi={10.1007/978-3-030-26954-8_25},
  author={Katriel Cohn-Gordon and Cas Cremers and Kristian Gjøsteen and Håkon Jacobsen and Tibor Jager},
  year=2019
}