Concepedia

Mathieu Baudet

MB

Statistics

Publications

8

Citations

388

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 cryptography, engineering, and computer science.

Top concepts

EngineeringCryptographyData SecurityComputer ScienceFormal MethodsFormal VerificationInformation SecurityBlockchainVerificationAutomated Reasoning

Publications per year

2005–2021

8

Publications

8

Deciding security of protocols against off-line guessing attacks

Mathieu Baudet · 2005 · 127 citations

Engineering, Information Security, Verification +16

On the Security of Oscillator-Based Random Number Generators

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

Hardware Security, Engineering, Entropy +6

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 · 42 citations · Full text

Proteomic Technology, C2c12 Myoblast, Medicine +9

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

Cluster Computing, Fintech, Blockchain Consensus Protocol +14

Guessing attacks and the computational soundness of static equivalence

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

1–5 of 8