Rust
Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.
Position on the Adoption Curve
Presentations about Rust
The Most Secure Program Is One That Doesn’t Exist
WebAssembly: Neither Web Nor Assembly, But Revolutionary
Is It Time to Rewrite the Operating System in Rust?
Interviews
The Most Secure Program Is One That Doesn’t Exist
QCon: What’s the focus of the work you do today?
Diane: I am the security and privacy lead on the mixed reality team. The focus of my work is building a browser that provides a secure, immersive web experience. I also work very closely with the Rust team. I lead the formal verification effort which is determining how we leverage the unique properties of Rust to allow people to use formal verification tools and techniques in their app code.
QCon: What's the motivation for your talk?
Diane: I once implemented an unsafe trait that I never should have been implementing. It was caught in review, and that really was the inspiration for the talk.
