Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
