Sylvain Heraud

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Public Key Cryptosystems

Nearest Neighbor Search

Top Venues

J. Comput. Secur.

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
Verified indifferentiable hashing into elliptic curves. J. Comput. Secur. 21 (6) (2013)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
Verified Indifferentiable Hashing into Elliptic Curves. POST (2012)
Sylvain Heraud, David Nowak
A Formalization of Polytime Functions. ITP (2011)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin
Computer-Aided Security Proofs for the Working Cryptographer. CRYPTO (2011)
Sylvain Heraud, David Nowak
A Formalization of Polytime Functions CoRR (2011)
Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud
A Machine-Checked Formalization of Sigma-Protocols. CSF (2010)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet
Implementing a Direct Method for Certificate Translation. ICFEM (2009)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin
Formal Certification of ElGamal Encryption. Formal Aspects in Security and Trust (2008)