conf.researchr.org / Natalie Popescu

Not registered as user yet

Name: Natalie Popescu

Affiliation: University of California San Diego

Contributions

REMS-DeepSpec 2020Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
POPL 2019Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track