Natalie Popescu

npopescu at princeton d0t edu

Computer Science PhD candidate working with Amit Levy and Mae Milano in the SNS group.

2021-2022 Microsoft Research PhD Fellow.

GithubCVGoogle Scholar

Up and coming: A paper about verifiably optimizing dynamic dispatches in Rust
In submission: A paper about DIFC in the cloud
ACSAC 2025: End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors
Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, and Amit Levy.
OOPSLA 2021: Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Natalie Popescu and Ziyang Xu, Sotiris Apostolakis, David August, and Amit Levy.
POPL 2019: CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, and Deian Stefan.