High Assurance Rust with Tiemoko Ballo

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!

Twitter: @rustaceanfm
Discord: Rustacean Station
Github: @rustacean-station
Email: [email protected]

Timestamps

[@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

Credits
Intro Theme: Aerocity

Audio Editing: Plangora

Hosting Infrastructure: Jon Gjengset

Show Notes: Plangora

Hosts: Allen Wyma