Rust Safety Further Reading List

rust-safety-further-reading.md

• The Rust Programming Language - the official book about all of Rust. This is what I recommend starting with if you want to learn Rust. The chapters most relevant to what I talked about are:
  • Ownership
  • References and Borrowing
  • unsafe
• The Rustonomicon - an official book all about writing unsafe Rust. Great deep dive of why and how to write good unsafe code.
• Fearless Concurrency - an official blog post on how safety makes concurrency easier.
• Memory Leaks are Memory Safe - a blog post written by a core team member on why memory leaks are still possible in Rust and what that implies.
• Ruby, Rust, and Concurrency - a blog post of mine about trying to cause a data race using multiple threads in Rust and seeing that it won't compile.
• Programming Language Safety Score - Safe Rust currently ranks 3rd behind Haskell and F#.
• Related to the case studies:
  • Heartbleed in Rust and the rebuttal Would Rust have prevented Heartbleed? Another Look
  • How to Prevent the next Heartbleed A very thorough analysis of the spectrum of techniques we could improve on to prevent bugs like Heartbleed. Spoiler: he advocates most strongly for more negative testing!
  • Apple's SSL/TLS bug about "goto fail"
  • Thoughts on Rust Cryptography - SF Rust meetup, the first talk discusses whether Rust would have prevented various cryptography library problems and what Rust cryptography libraries need to have.