Kathleen Fisher

Kathleen Fisher, director at RAND and incoming CEO of ARIA, and Byron Cook, VP at AWS, share their pioneering insights into automated reasoning for cybersecurity. They explore how formal methods can enhance software security against AI-driven cyber threats. The duo discusses the significance of memory safety and policy verification while delving into AWS's innovative approaches to proving key components. They also envision a future where generative AI aids in creating more secure code, sparking a major rewrite of existing systems for better resilience against vulnerabilities.