Benjamin Beurdouche - Head Of Strategic Initiatives And BD, Firefox Enterprise

Benjamin Beurdouche

Head Of Strategic Initiatives And BD, Firefox Enterprise

Paris, Ile-de-France

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Benjamin Beurdouche is a security researcher and engineering leader with 14 years of experience designing, analyzing, and implementing Internet security and privacy protocols like TLS 1.3 and MLS, now leading Strategic Initiatives and BD for Firefox Enterprise at Mozilla. He bridges formal methods, cryptography, and production systems—contributing to projects such as the F* proof-oriented language, MDN Web Docs, and Mozilla’s gecko-dev MLS implementation—bringing research-grade rigor to real-world deployments. A frequent program committee member for top venues (IEEE S&P, Real World Crypto, NDSS, CHES) and a published academic, he moves between standards bodies (IETF, W3C) and hands-on engineering. Based in Paris, he has a PhD background from École normale supérieure and a track record of taking on projects others deem impossible, turning protocol-level theory into practical, auditable implementations.

14 years of coding experience

1 year of employment as a software developer

PhD / Doctorat Mathematics and Computer Science, PhD / Doctorat Mathematics and Computer Science at Ecole normale supérieure

4ème Session Nationale - Majeure Souveraineté Numérique et Cybersécurité (SNC 7), 4ème Session Nationale - Majeure Souveraineté Numérique et Cybersécurité (SNC 7) at Institut des hautes études de défense nationale (IHEDN)

Stackoverflow

Stats

81reputation

223reached

2answers

0questions

Github Skills (24)

programming-language10

c-language10

dependent-types10

apidoc10

mdns10

mdc10

api10

formal-verification10

webapi10

mdt10

html10

theorem-proving10

rust10

cprogramming-language10

mozilla10

Programming languages (20)

C++RustCF*CoqMakefileTeXFluent

Github contributions (5)

FStarLang/FStar

Nov 2014 - Nov 2019

A Proof-oriented Programming Language

Role in this project:

Back-end Developer

Contributions:2 releases, 5 reviews, 401 commits in 5 years

Contributions summary:Benjamin primarily contributed to the F* language project by merging branches and modifying source code files related to the backend functionality. Their changes included modifications to core library files, and code translaters. These changes appear to be aimed at fixing potential vulnerabilities within the system.

homotopy-type-theorycoq-librarytype-theorysat-solvercompiler

mozilla/gecko-dev

May 2020 - Feb 2022

Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: https://firefox-source-docs.mozilla.org/contributing/contribution_quickref.html

Role in this project:

Backend Developer

Contributions:67 commits in 1 year 9 months

Contributions summary:Benjamin primarily contributed to the backend functionality of the project. Their work includes implementing the Messaging Layer Security (MLS) module and associated Web API, which involves Rust and C++ code interactions and database state management. The user also worked on updating and vendoring dependencies for the MLS platform API and integrated MLS state management with the existing clear data service. Their efforts focused on improving security and extending the API's capabilities.

repositoriesfirefoxmercurialgit-mirrormozilla

Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.

Request Free Trial