High Assurance Rust

High Assurance Rust is a book about developing secure and robust software. It presents a project-based approach to systems programming and low-level software security, teaching Rust by re-implementing a major dynamic collection from its standard library. It discusses using open-source software assurance tools, including rustc, libFuzzer, rr, qemu, differential fuzzing and deductive verification.

Website Directory import
0 shouts Added Sep 23, 2026 highassurance.rs
highassurance.rs/
High Assurance Rust website preview

Links

Tags