Formal Verification of Secure Software Systems
Offered By: YouTube
Course Description
Overview
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.
Syllabus
COIS DC06 Formal Verification of Secure Software Systems Aaron Bedra
Related Courses
Computer SecurityStanford University via Coursera Cryptography II
Stanford University via Coursera Malicious Software and its Underground Economy: Two Sides to Every Story
University of London International Programmes via Coursera Building an Information Risk Management Toolkit
University of Washington via Coursera Introduction to Cybersecurity
National Cybersecurity Institute at Excelsior College via Canvas Network