| |
| 2009 | ||
|---|---|---|
| 4 | EE | Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin: Formal certification of code-based cryptographic proofs. POPL 2009: 90-101 |
| 2008 | ||
| 3 | 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 |
| 2006 | ||
| 2 | EE | Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna: A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234 |
| 2005 | ||
| 1 | EE | Santiago Zanella Béguelin: Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. CASSIS 2005: 155-173 |
| 1 | Gilles Barthe | [3] [4] |
| 2 | Gustavo Betarte | [2] |
| 3 | Benjamin Grégoire | [3] [4] |
| 4 | Sylvain Heraud | [3] |
| 5 | Carlos Luna | [2] |