High Assurance Rust
Frequently Asked Questions (FAQ)
Engage with this Book!
Sponsor Call for Proposals (CFP)
Download
Changelog
License
Novice: Systems Security
Introduction
Software Assurance
Rust Zero-Crash Course
Understanding Memory
1. A Software Perspective
2. An Attacker's Perspective
3. Rust's Memory Safety Guarantees
4. Integer Representation Issues
5. The #![no_std] Attribute
6. Case Study: Real-world Rust CVEs
7. Debugging with Mozilla rr
8. Writing an Exploit
9. Challenge: TODO
Advanced Beginner: Core Project
Binary Search Tree (BST) Basics
1. Core BST Operations in Python
2. Problems Translating to Rust
3. The Importance of Balance
4. TODO
5. Challenge: TODO
Building an Arena Allocator
1. Let's Talk Allocators
2. A Stack-Only Arena
3. Index-based Data Structures
4. TODO
5. Challenge: TODO
A Self-balancing BST
1. Interface-relevant Traits
2. Scapegoat Trees
3. Insert
4. Remove
5. Find
6. Challenge: TODO
Digital Twin Testing
1. Basic QEMU Internals
2. How Semi-hosting Works
3. CLI REPL Harness
4. Limitations
5. TODO
6. Challenge: TODO
Building Maps and Sets
1. TODO
2. Challenge: TODO
Implementing Iterators
1. TODO
2. Challenge: TODO
Competent: Validation and Deployment
Static Verification
1. An Introduction to 1st Order Logic
2. Proving Absence of Panics
3. Deductively Verifying our Arena Allocator
4. Model Checking for unsafe Code
5. TODO
6. Challenge: Prove a Sorting Algorithm
Dynamic Testing
1. Introduction to Coverage-Guided Fuzzing
2. Building a Differential Fuzzing Harness
3. Using Miri to Detect Undefined Behavior
4. Benchmarking and Optimization
5. TODO
6. Challenge: Bug-hunting with Fuzzers
Operational Deployment
1. Understanding unsafe (1/3)
2. Understanding unsafe (2/3)
3. Understanding unsafe (3/3)
4. CFFI 101
5. C99 Interoperability
6. Python3 Interoperability
7. Runtime Balance Reconfiguration
8. TODO
9. Challenge: TODO
Maximizing Assurance
1. Rust Security Research
2. Rust's Limitations
3. Best Practices Beyond Rust
4. TODO
5. Challenge: TODO
Conclusion
Review
1. Key Concepts
2. Key Blue-Team Skills
3. Key Red-Team Skills
Appendix
1. Setup: Using our Docker Container
2. Inventory: Tools of the Trade
3. Inventory: Recommended Reading
4. Inventory: Additional Resources
5. Fundamentals: Stream Ciphers
6. Fundamentals: Type Systems
7. Fundamentals: Component-Based Design
8. Fundamentals: Memory Hierarchy
9. Fundamentals: Dynamic Linking
10. Misc: Size Optimization
11. Misc: The Typestate Pattern
12. Misc: C++ Interoperability
13. Misc: Compile-time Metaprogramming

Rust's Memory Safety Guarantees

Note: This section is a work-in-progress. For a preview, please see this blog post:

Blue Team Rust: What is "Memory Safety", Really?

An overview of Rust's memory safety model.

High Assurance Rust: Developing Secure and Robust Software

Rust's Memory Safety Guarantees