Mathieu Baudet

According to our database, Mathieu Baudet authored at least 12 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Zef: Low-latency, Scalable, Private Payments.

Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis

IACR Cryptol. ePrint Arch., 2022

Low-latency, Scalable, DeFi with Zef.

Mathieu Baudet, Alberto Sonnino, Michal Król

CoRR, 2022

2020

FastPay: High-Performance Byzantine Fault Tolerant Settlement.

Mathieu Baudet, George Danezis, Alberto Sonnino

Proceedings of the AFT '20: 2nd ACM Conference on Advances in Financial Technologies, 2020

2019

Lumière: Byzantine View Synchronization.

Oded Naor, Mathieu Baudet, Dahlia Malkhi, Alexander Spiegelman

CoRR, 2019

2013

YAPA: A Generic Tool for Computing Intruder Knowledge.

Mathieu Baudet, Véronique Cortier, Stéphanie Delaune

ACM Trans. Comput. Log., 2013

2011

On the Security of Oscillator-Based Random Number Generators.

Mathieu Baudet, David Lubicz, Julien Micolod, André Tassiaux

J. Cryptol., 2011

2010

Guessing attacks and the computational soundness of static equivalence.

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

J. Comput. Secur., 2010

2007

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

Mathieu Baudet

PhD thesis, 2007

2006

Random Polynomial-Time Attacks and Dolev-Yao Models.

Mathieu Baudet

J. Autom. Lang. Comb., 2006

2005

Computationally sound implementations of equational theories against passive adversaries.

Mathieu Baudet, Véronique Cortier, Steve Kremer

IACR Cryptol. ePrint Arch., 2005

Deciding security of protocols against off-line guessing attacks.

Mathieu Baudet

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2003

Controlling and Optimizing the Usage of One Resource.

Antoine Galland, Mathieu Baudet

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003