Sylvain Heraud

According to our database, Sylvain Heraud authored at least 7 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Verified indifferentiable hashing into elliptic curves.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin

J. Comput. Secur., 2013

2012

Vérification semi-automatique de primitives cryptographiques. (Semi-automatic verification of cryptographic primitives).

Sylvain Heraud

PhD thesis, 2012

2011

A Formalization of Polytime Functions.

Sylvain Heraud, David Nowak

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Computer-Aided Security Proofs for the Working Cryptographer.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

2010

A Machine-Checked Formalization of Sigma-Protocols.

Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Implementing a Direct Method for Certificate Translation.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Formal Certification of ElGamal Encryption.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008