Jonathan Protzenko

Registered user since Tue 2 Jun 2015

Name: Jonathan Protzenko

Country: United States

Affiliation: Microsoft Research, n.n.

Personal website: https://jonathan.protzenko.fr

Contributions

PriSC 2018	Short Talk: Secure compilation from F* to WebAssembly
CPP 2018	A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
Show activities from other conferences