Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn how to create memory-safe applications using open source verification tools in this conference talk from AWS re:Inforce 2025. Discover AWS's approach to prioritizing memory safety for unmanaged code that handles customer data and processes, addressing the significant security risks posed by memory-safety errors. Explore two key verification efforts: verifying the Rust standard library used by millions of developers, and using C model checkers to verify C code for safety and correctness. Gain insights into developing and implementing verification tools for Rust and C code that can check memory safety at scale, with practical applications you can adopt in your own development processes. Understand how these open source tools help reduce memory-safety errors and various attack vectors, while learning from AWS's real-world experience in securing cloud infrastructure through systematic verification approaches.
