logo

Introducing "High Assurance Rust": a FREE systems software security book!

337 points tnballo
View on Reddit ↗

Hey all!
Excited share a free (immediately available online, no paywall/obligation) technical book we're working on.
It covers the intersection of software security, systems programming, and Rust.

Here is a link to the draft (first handful of chapters, 130+ pages):

https://highassurance.rs

What does this book aim to do?

  1. Provide an accessible but principled introduction to developing secure and robust systems. At the overlap of "state-of-the-art" and "near-term practical": mostly production-grade tools and techniques, but also some-cutting edge research projects. All open-source.

  2. Help experienced developers both learn a new language and delve deeper into fundamental Computer Science and Computer Architecture topics.

How can I help?

If you find this content valuable, consider increasing its visibility by starring the GitHub repo:

https://github.com/tnballo/high-assurance-rust

This is very a much an early-stage passion project, appreciate any feedback you may have! :)