Suivre
Natalie Popescu
Natalie Popescu
PhD Student, Princeton University
Adresse e-mail validée de princeton.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–2