Marco Patrignani - POPL 2020

Registered user since Thu 22 Oct 2015

Name:Marco Patrignani

Country:United States

Affiliation:Stanford University & CISPA

Contributions

PriSC 2020	Universal Composability is Secure Compilation Session Chair of Compartmentalization, memory safety, and isolation (part of Principles of Secure Compilation 2020) Memory Safety Preservation for WebAssembly Trace-Relating Compiler Correctness and Secure Compilation Exorcising Spectres with Secure Compilers
Show activities from other conferences