Follow
Natalie Popescu
Natalie Popescu
PhD Student, Princeton University
Verified email at princeton.edu - Homepage
Title
Cited by
Cited by
Year
Ct-wasm: type-driven secure cryptography for the web ecosystem
C Watt, J Renner, N Popescu, S Cauligi, D Stefan
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
922019
Safer at any speed: automatic context-aware safety enhancement for Rust
N Popescu, Z Xu, S Apostolakis, DI August, A Levy
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-23, 2021
52021
The system can't perform the operation now. Try again later.
Articles 1–2