Registered user since Tue 2 Jun 2015

Name: Jonathan Protzenko

Country: United States

Affiliation: Microsoft Research, n.n.

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

POPL 2018 Activities

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