Mathieu Baudet

Research Engineer

I am a Research Engineer at Novi, working on blockchain systems and consensus protocols. I joined Facebook in 2012. As a Software Engineer, I worked on iOS security, software developer tools, machine learning services, and the Diem blockchain. Formerly a security specialist at the French national information security agency (ANSSI), I hold a B.Sc. from Ecole Polytechnique, a M.Sc from Telecom ParisTech, and a PhD degree from ENS Cachan on formal verification of cryptographic protocols.


Consensus protocols, blockchains, cryptographic protocols, formal verification

Latest Publications

AFT - November 1, 2020

FastPay: High-Performance Byzantine Fault Tolerant Settlement

Mathieu Baudet, George Danezis, Alberto Sonnino