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.

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: hello@rustacean-station.org

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