 | 2009 |
|---|
| 7 |       | Mathieu Baudet,
Véronique Cortier,
Stéphanie Delaune:
YAPA: A Generic Tool for Computing Intruder Knowledge.
RTA 2009: 148-163 |
| 6 | | 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 | | 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 | | Mathieu Baudet:
Deciding security of protocols against off-line guessing attacks.
ACM Conference on Computer and Communications Security 2005: 16-25 |
| 2 | | Mathieu Baudet,
Véronique Cortier,
Steve Kremer:
Computationally Sound Implementations of Equational Theories Against Passive Adversaries.
ICALP 2005: 652-663 |
| 2003 |
|---|
| 1 | | Antoine Galland,
Mathieu Baudet:
Controlling and Optimizing the Usage of One Resource.
APLAS 2003: 195-211 |
