Leveraging the Power of Automated Reasoning - USENIX Enigma Conference - 2017

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.