CIS Seminar: “Realizing the Promise of Language-level Security in Real Systems”
/
Levine 307
3330 Walnut Street, Philadelphia, PA, United States
Promises are cheap. Software vendors routinely describe their offerings as “secure”, but few are based on designs that can guarantee even the most basic security properties. To address this problem, services like Cloudflare, Android, and Firefox are increasingly relying on languages like Rust and WebAssembly to provide safety by design. But these promises too can […]

