High Assurance Rust
https://highassurance.rs/
Click here to read now:What does this book aim to do?
-
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.
-
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 this GitHub repo. Much appreciated! :)
mdbook
source?
Where's the High Assurance Rust is a work-in-progress. Once it's closer to being finished, source for the full text will be added to this repo - you'll be able to build and read the full book locally. Currently, this repo is a placeholder with a subset of the code snippets used in the text and a Dockerfile
for following along with each chapter.
Interested in a physical print?
Please sign up here if you'd like to be notified when the book is finished and hard copies are available. The email you provide not be shared or used for any other purpose.
Have feedback or questions?
Your input matters. We'd love to hear from you, please send an email to:
Anything else I should know?
A great deal of effort went into making this book a reality. We hope you have as much fun reading as we did writing. Let's hack together!