Selected publications by Mathieu Baudet
Journals
-
M. Baudet, V. Cortier and S. Delaune. YAPA: A generic tool for computing intruder knowledge. ACM Transactions on Computational Logic, 2012. To appear. ( PDF | BibTeX + Abstract )
-
M. Baudet, B. Warinschi and M. Abadi. Guessing Attacks and the Computational Soundness of Static
Equivalence. Journal of Computer Security 18(5), pages 909-968, 2010. ( PDF | BibTeX + Abstract )
-
M. Baudet, V. Cortier and S. Kremer. Computationally Sound Implementations of Equational Theories against
Passive Adversaries. Information and Computation 207(4), pages 496-520, 2009. ( PDF | BibTeX + Abstract )
-
M. Baudet. Random Polynomial-Time Attacks and Dolev-Yao Models. Journal of Automata, Languages and Combinatorics 11(1), pages 7-21, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
Conferences
-
M. Baudet, V. Cortier and S. Delaune. YAPA: A generic tool for computing intruder knowledge. In RTA'09, LNCS 5595, pages 148-163. Springer, 2009. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | Slides | BibTeX + Abstract )
-
M. Abadi, M. Baudet and B. Warinschi. Guessing Attacks and the Computational Soundness of Static
Equivalence. In FoSSaCS'06, LNCS 3921, pages 398-412. Springer, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
M. Baudet. Deciding Security of Protocols against Off-line Guessing Attacks. In CCS'05, pages 16-25. ACM Press, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
M. Baudet, V. Cortier and S. Kremer. Computationally Sound Implementations of Equational Theories against
Passive Adversaries. In ICALP'05, LNCS 3580, pages 652-663. Springer, 2005. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
A. Galland and M. Baudet. Controlling and Optimizing the Usage of One Resource. In APLAS'03, LNCS 2895, pages 195-211. Springer, 2003. ( PDF | PS | PS.GZ | BibTeX + Abstract )
Theses
Other Publications