Natalie Popescu -

Not registered as user yet

Name:Natalie Popescu

Affiliation:University of California San Diego

Contributions

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