Mathieu Baudet
École normale supérieure de Cachan
15 Papers
235 Citations
Mathieu Baudet is an academic researcher from École normale supérieure de Cachan. The author has contributed to research in topics: Equivalence (measure theory) & Cryptography. The author has an hindex of 10, co-authored 13 publications.
Chat about Author
Papers
On the Security of Oscillator-Based Random Number Generators
TL;DR: In this article, the authors present a comprehensive statistical study of TRNGs based on the sampling of an oscillator subject to phase noise (a.k.a. phase jitters).
Computationally sound implementations of equational theories against passive adversaries
Mathieu Baudet,Véronique Cortier,Steve Kremer +2 more
- 11 Jul 2005
TL;DR: A framework for comparing a cryptographic implementation and its idealization w.r.t. various security notions is defined and a soundness criterion is presented, which for many theories is not only sufficient but also necessary.
Guessing attacks and the computational soundness of static equivalence
Martín Abadi,Mathieu Baudet,Bogdan Warinschi +2 more
- 25 Mar 2006
TL;DR: This paper develops and analyzes a principled formal account of guessing attacks in terms of static equivalence, and defines and justifies an equational theory for standard, fundamental cryptographic operations.
Computationally sound implementations of equational theories against passive adversaries
TL;DR: A framework for comparing a cryptographic implementation and its idealization with respect to various security notions is defined, focusing on the computational soundness of static equivalence, a standard tool in cryptographic pi calculi.
59
Guessing attacks and the computational soundness of static equivalence
TL;DR: This paper develops and analyzes a principled formal account of guessing attacks in terms of static equivalence, and defines and justifies an equational theory for standard, fundamental cryptographic operations.