CIS Seminar: “Realizing the Promise of Language-level Security in Real Systems”
Levine 307 3330 Walnut Street, Philadelphia, PA, United StatesPromises 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 […]