Prati
Natalie Popescu
Natalie Popescu
PhD Student, Princeton University
Potvrđena adresa e-pošte na princeton.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
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
942019
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–2