Jonathan Protzenko
Principal Researcher
About
See my personal web page (opens in new tab) for an up-to-date list of publications, and more information about my current projects.
I am a Principal Researcher in Azure Research.
Learn more about my work in the press: Quanta Magazine (opens in new tab), IEEE Explore! (opens in new tab), CACM (opens in new tab), The Register (opens in new tab)
Featured content
Scaling the Everest of software security with Dr. Jonathan Protzenko
Episode 58, January 9, 2019 - Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about a few he’s been working on), and finally, acts as our digital Sherpa for Project Everest, an assault on software integrity and confidentiality that aims to build and deploy a verified HTTPS stack.