Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch this 55-minute conference talk from RustLab that demonstrates how Rust developers can contribute to creating more robust and secure software through systematic improvements. Learn to eliminate human error using automated tools, prevent bugs, and minimize the impact of existing issues. Explore the importance of tooling, available options, and strategies for cultivating organizational excellence focused on robustness, reliability, and energy efficiency. Discover practical applications of academic concepts like static program analysis, formal verification, and model checking, along with advanced testing techniques including fuzzing and mutation testing. Understand how to integrate these approaches into build systems that prevent compromised code from reaching testing or production environments. Gain insights into making software attacks more costly and complex for malicious actors, while embracing the growing Rust community's responsibility to create trustworthy software that prioritizes user safety and security.
