Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mathieu Baudet
2010 – today
- 2013
[j5]Mathieu Baudet, Véronique Cortier, Stéphanie Delaune: YAPA: A Generic Tool for Computing Intruder Knowledge. ACM Trans. Comput. Log. 14(1): 4 (2013)- 2011
- [j4]Mathieu Baudet, David Lubicz, Julien Micolod, André Tassiaux: On the Security of Oscillator-Based Random Number Generators. J. Cryptology 24(2): 398-425 (2011)
- 2010
- [j3]Mathieu Baudet, Bogdan Warinschi, Martín Abadi: Guessing attacks and the computational soundness of static equivalence. Journal of Computer Security 18(5): 909-968 (2010)
- [i3]Mathieu Baudet, Véronique Cortier, Stéphanie Delaune: YAPA: A generic tool for computing intruder knowledge. CoRR abs/1005.0737 (2010)
2000 – 2009
- 2009
- [j2]Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally sound implementations of equational theories against passive adversaries. Inf. Comput. 207(4): 496-520 (2009)
- [c5]Mathieu Baudet, Véronique Cortier, Stéphanie Delaune: YAPA: A Generic Tool for Computing Intruder Knowledge. RTA 2009: 148-163
- [i2]Mathieu Baudet, David Lubicz, Julien Micolod, André Tassiaux: On the security of oscillator-based random number generators. IACR Cryptology ePrint Archive 2009: 299 (2009)
- 2006
- [j1]Mathieu Baudet: Random Polynomial-Time Attacks and Dolev-Yao Models. Journal of Automata, Languages and Combinatorics 11(1): 7-21 (2006)
- [c4]Martín Abadi, Mathieu Baudet, Bogdan Warinschi: Guessing Attacks and the Computational Soundness of Static Equivalence. FoSSaCS 2006: 398-412
- 2005
- [c3]Mathieu Baudet: Deciding security of protocols against off-line guessing attacks. ACM Conference on Computer and Communications Security 2005: 16-25
- [c2]Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally Sound Implementations of Equational Theories Against Passive Adversaries. ICALP 2005: 652-663
- [i1]Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally sound implementations of equational theories against passive adversaries. IACR Cryptology ePrint Archive 2005: 74 (2005)
- 2003
- [c1]Antoine Galland, Mathieu Baudet: Controlling and Optimizing the Usage of One Resource. APLAS 2003: 195-211
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-27 01:21 CEST by the dblp team