The Rustacean Station Podcast

High Assurance Rust with Tiemoko Ballo

Posted Fri, 08 Jul 2022 15:05:00 +0000

Allen Wyma talks with Tiemoko Ballo, author of High Assurance Rust. High Assurance Rust is a book about building performant software we can justifiably trust.

Contributing to Rustacean Station

Rustacean Station is a community project; get in touch with us if you’d like to suggest an idea for an episode or offer your services as a host or audio editor!


  • [@0:34] - Tiemeko’s introduction
  • [@2:18] - Defining Safety critical and Mission critical
  • [@3:22] - How to develop software in Rust and have a high assurance?
  • [@8:21] - The lack of standardized behavior and different compilers
  • [@13:29] - Different approaches to assurance testing
  • [@14:54] - How does Rust’s memory safety work?
  • [@20:57] - Temporal memory
  • [@22:59] - What is a borrow checker and how do we know that it’s working properly?
  • [@28:17] - The difference between fuzz testing, property-based testing, and chaos testing
  • [@35:48] - Teimoko’s programming background
  • [@42:55] - Teimoko’s work and projects
  • [@46:15] - Rust’s error handling and concurrency advantages over other languages
  • [@49:29] - What Rust lacks in terms of guaranteeing high assurance and justifiability
  • [@53:17] - How to stay up to date on what’s happening in the security space.
  • [@54:35] - Parting thoughts


Intro Theme: Aerocity

Audio Editing: Plangora

Hosting Infrastructure: Jon Gjengset

Show Notes: Plangora

Hosts: Allen Wyma