Jonathan Protzenko
Microsoft Research, Seattle.
jonathan.protzenko@ens-lyon.org
Blog
Publications
Research
Service
Software
Talks
Teaching
All posts
Jun 9, 2023
Verified Secure Group Messaging with MLS
May 22, 2022
5 Years of Meta-Programming Cryptography
Aug 13, 2020
What's new in Everest: Summer 2020
Dec 8, 2019
GitHub strange
Apr 2, 2019
The EverCrypt verified cryptographic provider
Jan 4, 2019
Generating C code that people actually want to use
subscribe
via RSS