Inventory: Recommended Reading

This is a complete inventory of recommended reading, books that appear with the tag [PERSONAL FAVORITE] in footnotes. We genuinely feel each book listed is either an essential read in its field or a reference worth keeping in arm's reach.

If you purchase a book using one of the affiliate links below, it helps support High Assurance Rust - in addition to the book you're buying!


  • Programming Rust: Fast, Safe Systems Development. Jim Blandy, Jason Orendorff, Leonora Tindall (2021).



  • Practical Binary Analysis: Build Your Own Linux Tools for Binary Instrumentation, Analysis, and Disassembly. Dennis Andriesse (2018).