posted on 2023-11-29, 18:11authored byKatriel Cohn-Gordon, Cas CremersCas Cremers, Kristian Gjøsteen, Hakon Jacobsen, Tibor Jager
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.
History
Preferred Citation
Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Hakon Jacobsen and Tibor Jager. Highly Efficient Key Exchange Protocols with Optimal Tightness: Enabling real-world deployments with theoretically sound parameters. In: Advances in Cryptology (CRYPTO). 2019.
Primary Research Area
Algorithmic Foundations and Cryptography
Name of Conference
Advances in Cryptology (CRYPTO)
Legacy Posted Date
2019-07-03
Open Access Type
Unknown
BibTeX
@inproceedings{cispa_all_2940,
title = "Highly Efficient Key Exchange Protocols with Optimal Tightness: Enabling real-world deployments with theoretically sound parameters",
author = "Cohn-Gordon, Katriel and Cremers, Cas and Gjøsteen, Kristian and Jacobsen, Hakon and Jager, Tibor",
booktitle="{Advances in Cryptology (CRYPTO)}",
year="2019",
}