Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages

Abstract : Authenticated Key Exchange (AKE) protocols enable two parties to establish a shared, cryptographically strong key over an insecure network using various authentication means, such as cryptographic keys, short (i.e., low-entropy) secret keys or credentials. In this paper, we provide a general framework, that encompasses several previous AKE primitives such as (Verifier-based) Password-Authenticated Key Exchange or Secret Handshakes, we call LAKE for Language-Authenticated Key Exchange. We first model this general primitive in the Universal Composability (UC) setting. Thereafter, we show that the Gennaro-Lindell approach can efficiently address this goal. But we need smooth projective hash functions on new languages, whose efficient implementations are of independent interest. We indeed provide such hash functions for languages defined by combinations of linear pairing product equations. Combined with an efficient commitment scheme, that is derived from the highly-efficient UC-secure Lindell’s commitment, we obtain a very practical realization of Secret Handshakes, but also Credential-Authenticated Key Exchange protocols. All the protocols are UC-secure, in the standard model with a common reference string, under the classical Decisional Linear assumption.
Type de document :
Communication dans un congrès
K. Kurosawa and G. Hanaoka. PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Feb 2013, Nara, Japan. Springer, LNCS, 7778, pp.272-291, 2013, Public-Key Cryptography – PKC 2013. 〈10.1007/978-3-642-36362-7_18〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00790633
Contributeur : David Pointcheval <>
Soumis le : mercredi 20 février 2013 - 16:18:23
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Lien texte intégral

Identifiants

Collections

Citation

Fabrice Ben Hamouda, Olivier Blazy, Céline Chevalier, David Pointcheval, Damien Vergnaud. Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages. K. Kurosawa and G. Hanaoka. PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Feb 2013, Nara, Japan. Springer, LNCS, 7778, pp.272-291, 2013, Public-Key Cryptography – PKC 2013. 〈10.1007/978-3-642-36362-7_18〉. 〈hal-00790633〉

Partager

Métriques

Consultations de la notice

256