| 2006 | ||
|---|---|---|
| 4 | EE | Martín Abadi, Mathieu Baudet, Bogdan Warinschi: Guessing Attacks and the Computational Soundness of Static Equivalence. FoSSaCS 2006: 398-412 |
| 2005 | ||
| 3 | EE | Mathieu Baudet: Deciding security of protocols against off-line guessing attacks. ACM Conference on Computer and Communications Security 2005: 16-25 |
| 2 | EE | Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally Sound Implementations of Equational Theories Against Passive Adversaries. ICALP 2005: 652-663 |
| 2003 | ||
| 1 | EE | Antoine Galland, Mathieu Baudet: Controlling and Optimizing the Usage of One Resource. APLAS 2003: 195-211 |
| 1 | Martín Abadi | [4] |
| 2 | Véronique Cortier | [2] |
| 3 | Antoine Galland | [1] |
| 4 | Steve Kremer | [2] |
| 5 | Bogdan Warinschi | [4] |