Mathieu Baudet
About
Detail
Founder
New York, United States
Résumé
Jobs
verified_user
0% verified
FounderLineraDec 2021 - Current (4 years 11 months)- Research EngineerFacebookAug 2018 - Dec 2021 (3 years 5 months)
- Software EngineerFacebookOct 2012 - Aug 2018 (5 years 11 months)
- EPhD studentENS CachanSecurity of Cryptographic Protocols: Logical and Computational Aspects
- AResearch engineer, ITsec consultant and program officerAgence nationale de la sécurité des systèmes dinformation ANSSI
- Engineering Project Manager & COOMLstate
Education
verified_user
0% verified
- EPhD, Computer ScienceENS CachanJan 2003 - Dec 2006 (4 years)
- Télécom ParisTélécom ParisJan 2001 - Dec 2003 (3 years)
- DEA, Programming languages & Formal methodsUniversité Paris CitéJan 2001 - Dec 2002 (2 years)
- École PolytechniqueÉcole PolytechniqueJan 1998 - Dec 2001 (4 years)
Publications
verified_user
0% verified
- AYAPA: A Generic Tool for Computing Intruder KnowledgeACM Transactions on Computational LogicJan 2013
- JOn the Security of Oscillator-Based Random Number GeneratorsJournal of CryptologyApr 2011
- JGuessing attacks and the computational soundness of static equivalenceJournal of Computer SecurityJan 2010
- IComputationally sound implementations of equational theories against passive adversariesInformation and ComputationApr 2009
- Deciding security of protocols against off-line guessing attacksACM Conference on Computer and Communications SecurityJan 2005
- AControlling and Optimizing the Usage of One ResourceAPLAS ConferenceJan 2003