Concepedia

Mathieu Baudet

MB

Statistics

Publications

8

Citations

390

H-Index

8

Active since

2005

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Agence Nationale de Sécurité du Médicament et des Produits de Santé

Mathieu Baudet is an author at École Normale Supérieure Paris-Saclay specializing in computer science, computing, and formal methods.

Publications per year

2005–2021

8

Publications

8

Deciding security of protocols against off-line guessing attacks

Mathieu Baudet · 2005 · 127 citations

Computing, Computer Science, Algorithms +15

On the Security of Oscillator-Based Random Number Generators

Mathieu Baudet, David Lubicz, Julien Micolod et al. · Journal of Cryptology · 2010 · 99 citations · Full text

Computing, Computer Science, Electrical Engineering +9

Correction: Proteomic Analysis of C2C12 Myoblast and Myotube Exosome-Like Vesicles: A New Paradigm for Myoblast-Myotube Cross Talk?

Alexis V. Forterre, Audrey Jalabert, Mathieu Baudet et al. · PLoS ONE · 2014 · 43 citations · Full text

Life Sciences, Cell Biology, Molecular Biology +16

FastPay

Mathieu Baudet, George Danezis, Alberto Sonnino · 2020 · 33 citations

Computing, Computer Science, Banking +16

Guessing attacks and the computational soundness of static equivalence

Mathieu Baudet, Bogdan Warinschi, Martı́n Abadi · Journal of Computer Security · 2010 · 28 citations

Computing, Computer Science, Formal Methods +5

1–5 of 8