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	Author of Short Talk: Secure compilation from F* to WebAssembly within the PriSC 2018-track
CPP 2018	Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track
Show activities from other conferences