A free book about developing secure and robust systems software.
# High Assurance Rust
### Click here to read now: [https://highassurance.rs/](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 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}
}
```
#### Interested in a physical print?
Please [sign up here](https://forms.gle/ESYgXgswCjEoCSHT9) if you'd like to be notified when the book is finished and hard copies are available.
The email you provide will 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:
**[email protected]**
#### Can I contribute?
Contributions are welcome and appreciated.
Please see [`CONTRIBUTING.md`](./CONTRIBUTING.md).
#### 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!