Mathieu Baudet

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

Collaborative distances:

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

2023

Zef: Low-latency, Scalable, Private Payments.

Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis

Proceedings of the 22nd Workshop on Privacy in the Electronic Society, 2023

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 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

2009

On the security of oscillator-based random number generators.

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

IACR Cryptol. ePrint Arch., 2009

YAPA: A Generic Tool for Computing Intruder Knowledge.

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

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

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

Guessing Attacks and the Computational Soundness of Static Equivalence.

Martín Abadi, Mathieu Baudet, Bogdan Warinschi

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

Computationally Sound Implementations of Equational Theories Against Passive Adversaries.

Mathieu Baudet, Véronique Cortier, Steve Kremer

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 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