Explore formal verification techniques for secure software systems in this 36-minute conference talk from the Central Ohio InfoSec Summit 2016. Delve into the importance of rigorous mathematical methods to ensure the correctness and security of software systems. Learn about various formal verification approaches, their applications in secure software development, and how they can help identify and prevent potential vulnerabilities. Gain insights into the benefits and challenges of implementing formal verification in real-world software projects, and discover how these techniques can enhance overall system security and reliability.
Overview
Syllabus
COIS DC06 Formal Verification of Secure Software Systems Aaron Bedra