Engage with this Book!

Submit Feedback, Questions, Issues, or PRs

Have general feedback? Or maybe a burning question?

This book is a work-in-progress and your input matters. We'd love to hear from you, please send an email to:


Spotted a factual or grammatical error?

Please submit an Issue or Pull Request (PR) on GitHub. See the project's CONTRIBUTING.md.

Star the Repos

You can help increase the visibility of this project among developers by starring its GitHub repos. We greatly appreciate your support.

This Book:

scapegoat Crate:

Recommend to a Friend

Consider shooting a link to a friend, they can read the whole book for free!

Clicking on a subheading within a chapter will display a targeted URL in your browser's address bar.

Cite High Assurance Rust

Though this book is designed with accessibility in mind, we'll delve into advanced topics and contextualize relevant research. Bottom-of-page footnotes cite primary sources.

If you'd like to cite this book directly in your own work, please use this BibTeX or similar:

    title={High Assurance Rust: Developing Secure and Robust Software},
    howpublished = "\url{https://highassurance.rs}",
    author={Ballo, Tiemoko and Ballo, Moumine and James, Alex},

Other Ways to Support this Project

Please see the FAQ's question #8, here.

Thanks in advance!