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