Registered user since Fri 27 Sep 2019
Name: Bryan Parno
Country: United States
Affiliation: Carnegie Mellon University
Personal website: https://www.andrew.cmu.edu/user/bparno/
Contributions
| PriSC 2020 | Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile