https://github.com/tnballo/high-assurance-rust

A free book about developing secure and robust systems software.
https://github.com/tnballo/high-assurance-rust

book reliability rust security systems-programming

Last synced: 28 days ago
JSON representation

A free book about developing secure and robust systems software.

• Host: GitHub
• URL: https://github.com/tnballo/high-assurance-rust
• Owner: tnballo
• Created: 2022-03-25T22:07:47.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-10T13:53:11.000Z (7 months ago)
• Last Synced: 2024-10-01T20:43:33.843Z (about 1 month ago)
• Topics: book, reliability, rust, security, systems-programming
• Language: Rust
• Homepage: https://highassurance.rs/
• Size: 8.48 MB
• Stars: 1,300
• Watchers: 40
• Forks: 33
• Open Issues: 11
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

        




# High Assurance Rust

[![Pages](https://img.shields.io/badge/Pages-178-purple.svg)](https://github.com/tnballo/high-assurance-rust)

[![Diagrams](https://img.shields.io/badge/Diagrams-51-blue.svg)](https://github.com/tnballo/high-assurance-rust)

[![Price](https://img.shields.io/badge/Price-$0.00-orange.svg)](https://highassurance.rs/cfp.html)

[![Text License: CC BY-NC-ND 4.0](https://img.shields.io/badge/Text%20License-CC%20BY--NC--ND%204.0-yellow.svg)](https://highassurance.rs/license.html)

[![Code License: MIT](https://img.shields.io/badge/Code%20License-MIT-yellowgreen.svg)](https://highassurance.rs/license.html)

[![Assurance](https://img.shields.io/badge/Assurance-High-brightgreen.svg)](https://highassurance.rs)

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