Jonathan Protzenko

15,000 lines of verified cryptography now in Python

First alpha release of HACL* in Rust

Rust verification and backwards compatibility

Verified Secure Group Messaging with MLS

5 Years of Meta-Programming Cryptography

What’s new in Everest: Summer 2020

GitHub strange

The EverCrypt verified cryptographic provider

Generating C code that people actually want to use