- EverParse: Hardening critical attack surfaces with formally proven message parsers
Microsoft Research Blog, May 3, 2021
- Performance Improvements via Formally-Verified Cryptography in Firefox
Mozilla Security Blog, July 6, 2020
- The story behind that little padlock in your browser
Horizon: the EU Research & Innovation magazine, March 24, 2020
- Project Everest: Advancing the science of program proof
Microsoft Research Blog, September 5, 2019
- Microsoft’s New Cryptography Suite is “Mathematically Certain” to be Secure
CBR: Computer Business Review, April 5, 2019
- EverCrypt cryptographic provider offers developers greater security assurances
Microsoft Research Blog, April 2, 2019
- The EverCrypt verified cryptographic provider
Jonathan Protzenko's blog, April 2, 2019
- Cryptography That Is Provably Secure
Quanta Magazine, April 2, 2019
- Building a verifiably-secure internet
CyLab, January 30, 2019
- Project Everest: Reaching greater heights in internet communication security
Microsoft Research Blog, January 14, 2019
- Scaling the Everest of software security with Dr. Jonathan Protzenko
Microsoft Research Podcast, January 9, 2019
- Generating C code that people actually want to use
Jonathan Protzenko's blog, January 4, 2019
- Zinc: a new kernel cryptography API
LWN.net, November 6, 2018
- Tezos Switches Cryptographic Libraries from TWEETNACL to HACL!
reddit r/tezos, May 4, 2018
- Shipping (some) HACL*
Franziskus Kiefer's blog, April 12, 2018
- The HACL* approach
Franziskus Kiefer's blog, February 14, 2018
- Verified cryptography for Firefox 57
Mozilla Security Blog, September 13, 2017
- Securing the Cloud
Microsoft Story Labs, June 2, 2017
- Introducing KreMlin
F* for the masses, September 30, 2016
- Hacker-Proof Code Confirmed
Quanta Magazine, September 20, 2016
- Expeditions: Exploring the unknown
Jeannette M. Wing on Microsoft Research Blog, February 26, 2016