Mathieu Baudet

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 7

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

ACM Trans. Comput. Log.

WPES@CCS

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis
Zef: Low-latency, Scalable, Private Payments. WPES@CCS (2023)
Mathieu Baudet, Alberto Sonnino, Michal Król
Low-latency, Scalable, DeFi with Zef. CoRR (2022)
Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis
Zef: Low-latency, Scalable, Private Payments. CoRR (2022)
Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis
Zef: Low-latency, Scalable, Private Payments. IACR Cryptol. ePrint Arch. 2022 (2022)
Mathieu Baudet, George Danezis, Alberto Sonnino
FastPay: High-Performance Byzantine Fault Tolerant Settlement. AFT (2020)
Mathieu Baudet, George Danezis, Alberto Sonnino
FastPay: High-Performance Byzantine Fault Tolerant Settlement. CoRR (2020)
Oded Naor, Mathieu Baudet, Dahlia Malkhi, Alexander Spiegelman
Lumière: Byzantine View Synchronization. CoRR (2019)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A Generic Tool for Computing Intruder Knowledge. ACM Trans. Comput. Log. 14 (1) (2013)
Mathieu Baudet, David Lubicz, Julien Micolod, André Tassiaux
On the Security of Oscillator-Based Random Number Generators. J. Cryptol. 24 (2) (2011)
Mathieu Baudet, Bogdan Warinschi, Martín Abadi
Guessing attacks and the computational soundness of static equivalence. J. Comput. Secur. 18 (5) (2010)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A generic tool for computing intruder knowledge CoRR (2010)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A Generic Tool for Computing Intruder Knowledge. RTA (2009)
Mathieu Baudet, Véronique Cortier, Steve Kremer
Computationally sound implementations of equational theories against passive adversaries. Inf. Comput. 207 (4) (2009)
Mathieu Baudet, David Lubicz, Julien Micolod, André Tassiaux
On the security of oscillator-based random number generators. IACR Cryptol. ePrint Arch. 2009 (2009)
Mathieu Baudet
Random Polynomial-Time Attacks and Dolev-Yao Models. J. Autom. Lang. Comb. 11 (1) (2006)
Martín Abadi, Mathieu Baudet, Bogdan Warinschi
Guessing Attacks and the Computational Soundness of Static Equivalence. FoSSaCS (2006)
Mathieu Baudet, Véronique Cortier, Steve Kremer
Computationally sound implementations of equational theories against passive adversaries. IACR Cryptol. ePrint Arch. 2005 (2005)
Mathieu Baudet
Deciding security of protocols against off-line guessing attacks. CCS (2005)
Mathieu Baudet, Véronique Cortier, Steve Kremer
Computationally Sound Implementations of Equational Theories Against Passive Adversaries. ICALP (2005)
Antoine Galland, Mathieu Baudet
Controlling and Optimizing the Usage of One Resource. APLAS (2003)

Mathieu Baudet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mathieu Baudet