Portrait of Jonathan Protzenko

Jonathan Protzenko

Researcher

About

I am a Researcher in the RiSE group working on F*, miTLS and the Everest project. Lately, I wrote KreMLin, the new C extraction backend for F*, which currently extracts verified cryptographic libraries.

More information as well as an up-to-date list of publications can be found on my personal web page.

Projects

Publications

Videos