High Assurance Rust with Tiemoko Ballo
Rustacean Station
How to Build a Reliable Programming System Using Open Source Tools?
The goal of the book is yo say, how can we build the most reliable, the most trustworthy and secure soppfer possible using open source tools? So the book purely covers open source tools. I use a technique called differential fuzmn, which isn't a formal proof, but has some advantages that competentially go into as far as insuring the reliability,. giving you confidence in the reliability of application. Fus testing different than property base testing, te other qute. But with fuzzing, oactually really, really want to give the programme invalid inputs, to put yourself in the shoes of an attacker and say, can you handle this thing that you do not expect
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
