![]()
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.
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.