High Assurance Rust with Tiemoko Ballo

Allen Wyma talks with Tiemoko Ballo (tiemoko.com), author of High Assurance Rust (highassurance.rs). 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 (twitter.com/rustaceanfm)

• Discord: Rustacean Station (discord.gg/cHc3Gyc)

• Github: @rustacean-station (github.com/rustacean-station)

• Email: hello@rustacean-station.org

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: twitter.com/AerocityMusic

Audio Editing: Plangora (twitter.com/plangora)

Hosting Infrastructure: Jon Gjengset (twitter.com/jonhoo)

Show Notes: Plangora (twitter.com/plangora)

Hosts: Allen Wyma (twitter.com/allenwyma)