Extended security arguments for signature schemes

Özgür Dagdelen 1 David Galindo 2 Pascal Véron 3 Sidi Mohamed El Yousfi Alaoui 1 Pierre-Louis Cayrel 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : It is known how to transform certain canonical three-pass identification schemes into signature schemes via the Fiat–Shamir transform. Pointcheval and Stern showed that those schemes are existentially unforgeable in the random-oracle model leveraging the, at that time, novel forking lemma. Recently, a number of 5-pass identification protocols have been proposed. Extending the above technique to capture 5-pass identification schemes would allow to obtain novel unforgeable signature schemes. In this paper, we provide an extension of the forking lemma (and the Fiat–Shamir transform) in order to assess the security of what we call n-generic signature schemes. These include signature schemes that are derived from certain (2n+1)-pass identification schemes. In doing so, we put forward a generic methodology for proving the security of a number of signature schemes derived from (2n+1)-pass identification schemes for n≥2. As an application of this methodology, we obtain two new code-based existentially-unforgeable signature schemes, along with a security reduction. In particular, we solve an open problem in multivariate cryptography posed by Sakumoto, Shirai and Hiwatari at CRYPTO 2011.
Type de document :
Article dans une revue
Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (2), pp.441-461. 〈10.1007/s10623-014-0009-7〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01313619
Contributeur : Pascal Véron <>
Soumis le : lundi 23 mai 2016 - 14:48:22
Dernière modification le : jeudi 22 septembre 2016 - 14:31:54

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Relations

Citation

Özgür Dagdelen, David Galindo, Pascal Véron, Sidi Mohamed El Yousfi Alaoui, Pierre-Louis Cayrel. Extended security arguments for signature schemes. Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (2), pp.441-461. 〈10.1007/s10623-014-0009-7〉. 〈hal-01313619〉

Partager

Métriques

Consultations de la notice

218

Téléchargements de fichiers

150