Symbolic Execution Courses
Black Hat via YouTube Automated Detection of Vulnerabilities in Black-Box Routers and Other Network Devices
Black Hat via YouTube Assessing and Exploiting BigNum Vulnerabilities
Black Hat via YouTube Contemporary Automatic Program Analysis
Black Hat via YouTube How to Grow a TREE from CBASS
Black Hat via YouTube LINQ-style Queries in Java with Jinq - JVM Language Summit 2015
Java via YouTube Bug Hunting Using Symbolic Virtual Machines - Hack.lu 2017
Cooper via YouTube Triaging Kernel Out-of-Bounds Write Vulnerabilities
Linux Foundation via YouTube SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs
Linux Foundation via YouTube Compiling Your Story - Using Techniques from Compiler Design to Check Your Narrative
linux.conf.au via YouTube