High Assurance Rust with Tiemoko BalloPosted Fri, 08 Jul 2022 15:05:00 +0000
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: firstname.lastname@example.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