Registered user since Thu 22 Oct 2015
Name:Marco Patrignani
Country:United States
Affiliation:Stanford University & CISPA
Personal website: http://theory.stanford.edu/~mp/mp/Home.html
Contributions
2020
PriSC
- 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
POPL 2020-profile
View general profile
View general profile