| 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 | |
| 1 | Gilles Barthe | [1] [2] |
| 2 | Santiago Zanella Béguelin | [1] |
| 3 | Benjamin Grégoire | [1] [2] |
| 4 | César Kunz | [2] |
| 5 | Anne Pacalet | [2] |