| |
| 2009 | ||
|---|---|---|
| 6 | EE | Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally sound implementations of equational theories against passive adversaries. Inf. Comput. 207(4): 496-520 (2009) |
| 2006 | ||
| 5 | EE | Martín Abadi, Mathieu Baudet, Bogdan Warinschi: Guessing Attacks and the Computational Soundness of Static Equivalence. FoSSaCS 2006: 398-412 |
| 4 | Mathieu Baudet: Random Polynomial-Time Attacks and Dolev-Yao Models. Journal of Automata, Languages and Combinatorics 11(1): 7-21 (2006) | |
| 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 | [5] |
| 2 | Véronique Cortier | [2] [6] |
| 3 | Antoine Galland | [1] |
| 4 | Steve Kremer | [2] [6] |
| 5 | Bogdan Warinschi | [5] |