Symbolic Execution Courses
IEEE via YouTube VerX: Safety Verification of Smart Contracts
IEEE via YouTube Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
IEEE via YouTube SPECTECTOR - Principled Detection of Speculative Information Flows
IEEE via YouTube CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation
IEEE via YouTube AntiFuzz - Impeding Fuzzing Audits of Binary Executables
USENIX via YouTube FUZE - Towards Facilitating Exploit Generation for Kernel Use-After-Free Vulnerabilities
USENIX via YouTube Practical Uses of Program Analysis - Automatic Exploit Generation
NorthSec via YouTube Cyber Grand Shellphish - Shellphish and the DARPA Cyber Grand Challenge
Cooper via YouTube Leveraging the Power of Automated Reasoning - USENIX Enigma Conference - 2017
USENIX Enigma Conference via YouTube