A free book about developing secure and robust systems software.
<br><p align="center"><img src="https://github.com/tnballo/high-assurance-rust/blob/3ea7daa046daaac303107598e26232ea7e08bbd3/img/har_logo.svg" width="333" alt="High Assurance Rust"></p><br>

# 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! :)

#### 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 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:

<a href="mailto:contact@highassurance.rs">**contact@highassurance.rs**</a>

#### Contributing

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!