0:00 / 0:00
#unsaferust#typesafety#fuchsia
Joshua Liebow-Feeser: "Safety in an Unsafe World" | RustConf 2024
Rust Foundation
7.3K subscribers • 2 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
- Presented by Joshua Liebow-Feeser, Software Engineer at Google
Intermediate. Assumes working knowledge.
6.9K views1 year ago2 recommendations
Programming languagesSecurityRustLanguage design and type systems
Joshua Liebow-Feeser explores how Rust's type system and unsafe keyword can be used to enforce arbitrary safety properties and custom invariants.
To view a version of this talk without hardcoded subtitles, click here: youtube.com/watch?v=qd3x5MCUrhw _Note: This video contains hardcoded subtitles. For the most accurate English video transcription, please enable YouTube subtitles and select "English" under YouTube's subtitles/CC settings. We recommend increasing caption size to 200% and setting background opacity to 100% under subtitle options._ --- A talk by Joshua Liebow-Feeser (Software Engineer, Fuchsia Security, Google) at RustConf 2024 in Montreal, Canada & online on September 12. Hosted by the Rust Foundation. Abstract: Rust doesn’t just support memory safety, it supports “X-safety”: The ability to teach Rust about arbitrary safety properties, only permitting X-safe code to compile. This talk will explore how this technique has been used to defend against everything from network protocol bugs to cryptographic vulnerabilities, demonstrate novel results based on Joshua’s research, and argue that if we take this aspect of Rust seriously, we can fundamentally reshape how software is written in safety-critical environments. ABOUT RUSTCONF RustConf is a long-running event dedicated to inspiring conversations about the Rust programming language and its community. 2024 sponsors included Devolutions, Google, and others. Thank you to the Rust community for making this year's event so memorable! rustconf.com | rustfoundation.orgWhy it's here
2 people recommend thisWhat people say. Recommended as a great explanation of how unsafe Rust acts as an extension mechanism to teach the compiler new safety invariants.
u/SV-97in r/Compilers • Recommends
On “PWRFL: an attempt to build a safe, fast, systems-level programming language”
Another note on how unsafe isn't really "cheating": you can think of it like an extension mechanism. It's what fundamentally allows you to extend the language "safe rust" with new primitives --- to "teach" the language about new safety properties and invariants (there's a great talk that goes into this: Safety in an unsafe world). Even in \*way\* more expressive languages you'd still have to include such escape hatches if you want this extendability rather than building everything into the compiler (at which point you're really just shifting the point of trust).
Regarding the historical aspect: Rust was (among other languages) inspired by cyclone AFAIK. Might be worth looking into. I t…