Verified indifferentiable hashing into elliptic curves

Gilles Barthe 1 Benjamin Grégoire 2 Sylvain Heraud 2 Federico Olmedo 1 Santiago Zanella-Béguelin 3
1 Institute IMDEA Software [Madrid]
2 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
3 Microsoft - Microsoft Research [Cambridge]
Type de document :
Article dans une revue
Journal of Computer Security, IOS Press, 2013
Liste complète des métadonnées
https://hal.inria.fr/hal-00935747
Contributeur : Benjamin Gregoire <>
Soumis le : vendredi 24 janvier 2014 - 08:08:16
Dernière modification le : jeudi 11 janvier 2018 - 16:43:50

Identifiants

  • HAL Id : hal-00935747, version 1

Collections

INRIA | UNIV-COTEDAZUR

Citation

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella-Béguelin. Verified indifferentiable hashing into elliptic curves. Journal of Computer Security, IOS Press, 2013. 〈hal-00935747〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

115

Contact


archive-ouverte@inria.fr