CT-wasm: type-driven secure cryptography for the web ecosystem. - Conrad Watt; John Renner; Natalie Popescu; Sunjay Cauligi; Deian Stefan (Proc. ACM Program. Lang., 2019)

Safer at any speed: automatic context-aware safety enhancement for Rust. - Natalie Popescu; Ziyang Xu; Sotiris Apostolakis; David I. August; Amit Levy (Proc. ACM Program. Lang., 2021)