Leveraging the Power of Automated Reasoning - USENIX Enigma Conference - 2017
USENIX Enigma Conference via YouTube
Overview
This course focuses on leveraging the power of automated reasoning in software security. The learning outcomes include understanding novel opportunities for automating bug detection and security exploit generation using symbolic execution and automated constraint solving techniques. The course teaches skills such as formalization, program testing, program analysis, and specialized reasoners. The teaching method involves discussing recent successful applications of Satisfiability Modulo Theories (SMT) solvers in security analysis. The intended audience for this course includes software developers, security analysts, and individuals interested in automated reasoning for security analysis.
Syllabus
Intro
Formalization
Program Testing
Program Analysis
Symbolic Execution
Specialized Reasoners
Analysis
Example
Automated Reasoning for Security
Problems
Solution
Small example
Future
Taught by
USENIX Enigma Conference