| |
| 2008 | ||
|---|---|---|
| 1 | EE | 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 | Santiago Zanella Béguelin | [1] |
| 3 | Benjamin Grégoire | [1] |