highassurance.rs
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.