Symbolic Execution Courses
University System of Maryland via edX Software Analysis & Testing
Georgia Institute of Technology via Udacity Computer Systems Security
Massachusetts Institute of Technology via MIT OpenCourseWare Reverse Engineering 3201: Symbolic Analysis
OpenSecurityTraining2 via Independent angr: Binary Analysis Framework - Demonstration and Analysis
New York University (NYU) via YouTube Breaking Samsung's ARM TrustZone
Black Hat via YouTube Code Deobfuscation - Intertwining Dynamic, Static and Symbolic Approaches
Black Hat via YouTube Your Secrets Are Safe with Julia - A Compiler for Secure Computation
Strange Loop Conference via YouTube When Qiling Framework Meets Symbolic Execution
Hack In The Box Security Conference via YouTube TriggerScope - Towards Detecting Logic Bombs in Android Applications
IEEE via YouTube