High Assurance Rust

Click here to read now: 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 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:

[email protected]

Contributing

Contributions are welcome and appreciated. Please see 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!