Controlling and Optimizing the Usage of One Resource. - Antoine Galland; Mathieu Baudet (APLAS, 2003)

Deciding security of protocols against off-line guessing attacks. - Mathieu Baudet (CCS, 2005)

Computationally sound implementations of equational theories against passive adversaries. - Mathieu Baudet; Véronique Cortier; Steve Kremer (IACR Cryptol. ePrint Arch., 2005)

Random Polynomial-Time Attacks and Dolev-Yao Models. - Mathieu Baudet (J. Autom. Lang. Comb., 2006)

Sécurité des protocoles cryptographiques : aspects logiques et calculatoires. (Security of cryptographic protocols : logical and computational aspects). - Mathieu Baudet (2007)

Guessing attacks and the computational soundness of static equivalence. - Mathieu Baudet; Bogdan Warinschi; Martín Abadi (J. Comput. Secur., 2010)

On the Security of Oscillator-Based Random Number Generators. - Mathieu Baudet; David Lubicz; Julien Micolod; André Tassiaux (J. Cryptol., 2011)

YAPA: A Generic Tool for Computing Intruder Knowledge. - Mathieu Baudet; Véronique Cortier; Stéphanie Delaune (ACM Trans. Comput. Log., 2013)

Lumière: Byzantine View Synchronization. - Oded Naor; Mathieu Baudet; Dahlia Malkhi; Alexander Spiegelman (CoRR, 2019)

FastPay: High-Performance Byzantine Fault Tolerant Settlement. - Mathieu Baudet; George Danezis; Alberto Sonnino (AFT, 2020)

Low-latency, Scalable, DeFi with Zef. - Mathieu Baudet; Alberto Sonnino; Michal Król (CoRR, 2022)

Zef: Low-latency, Scalable, Private Payments. - Mathieu Baudet; Alberto Sonnino; Mahimna Kelkar; George Danezis (IACR Cryptol. ePrint Arch., 2022)