 | 2012 |
|---|
| 7 |       | Gilles Barthe,
Benjamin Grégoire,
Sylvain Heraud,
Federico Olmedo,
Santiago Zanella Béguelin:
Verified Indifferentiable Hashing into Elliptic Curves.
POST 2012: 209-228 |
| 2011 |
|---|
| 6 | | Gilles Barthe,
Benjamin Grégoire,
Sylvain Heraud,
Santiago Zanella Béguelin:
Computer-Aided Security Proofs for the Working Cryptographer.
CRYPTO 2011: 71-90 |
| 5 | | Sylvain Heraud,
David Nowak:
A Formalization of Polytime Functions.
ITP 2011: 119-134 |
| 4 | | Sylvain Heraud,
David Nowak:
A Formalization of Polytime Functions
CoRR abs/1102.5495: (2011) |
| 2010 |
|---|
| 3 | | Gilles Barthe,
Daniel Hedin,
Santiago Zanella Béguelin,
Benjamin Grégoire,
Sylvain Heraud:
A Machine-Checked Formalization of Sigma-Protocols.
CSF 2010: 246-260 |
| 2009 |
|---|
| 2 | | Gilles Barthe,
Benjamin Grégoire,
Sylvain Heraud,
César Kunz,
Anne Pacalet:
Implementing a Direct Method for Certificate Translation.
ICFEM 2009: 541-560 |
| 2008 |
|---|
| 1 | | Gilles Barthe,
Benjamin Grégoire,
Sylvain Heraud,
Santiago Zanella Béguelin:
Formal Certification of ElGamal Encryption.
Formal Aspects in Security and Trust 2008: 1-19 |
Data released under the ODC-BY 1.0 license — See also our legal information page