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.

If you find this content valuable, consider increasing its visibility among developers by starring this GitHub repo. Much appreciated! :)

To cite this book directly in your own work, please use this BibTeX or similar:

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

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.

Your input matters. We'd love to hear from you, please send an email to:

[email protected]

Contributions are welcome and appreciated. Please see CONTRIBUTING.md.

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!