Jonathan Protzenko

jonathan.protzenko.fr

Personal website of Jonathan Protzenko, a software engineer at Google specializing in information security.

why we picked it

The site presents the work and writings of Jonathan Protzenko, a researcher in software security and formal verification. It includes publications, talks, and software projects that explore low-level systems and programming languages. Suited for readers interested in security engineering, compilers, and verified software.

Checked with Google Web Risk · 1 day ago

Visit jonathan.protzenko.fr ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026