Mathieu Baudet

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