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]
Document type :
Journal articles
Complete list of metadatas
https://hal.inria.fr/hal-00935747
Contributor : Benjamin Gregoire <>
Submitted on : Friday, January 24, 2014 - 8:08:16 AM
Last modification on : Thursday, February 7, 2019 - 2:28:35 PM

Identifiers

  • HAL Id : hal-00935747, version 1

Collections

INRIA

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

176

Contact


archive-ouverte@inria.fr