Sylvain Heraud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CRYPTO | Computer-Aided Security Proofs for the Working Cryptographer. | Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Santiago Zanella-Bguelin |
| 2011 | ITP | A Formalization of Polytime Functions. | Sylvain Heraud, David Nowak |
| 2009 | ICFEM | Implementing a Direct Method for Certificate Translation. | Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Csar Kunz, Anne Pacalet |