Symbolic Execution Courses and Certifications

ACM SIGPLAN

Obtaining Information Leakage Bounds via Approximate Model Counting

Explore a sound symbolic quantitative information flow analysis for bounding information leakage in programs using approximate model counting and symbolic execution.

• YouTube
• 14 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Inference of Robust Reachability Constraints

Explore robust reachability constraints inference for improved bug characterization and attack vector analysis, enhancing software verification and security analysis techniques.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Simons Institute

Program Repair for Hyperproperties

Explore program repair for hyperproperties, focusing on HyperLTL specifications. Learn about complexity analysis, repair algorithms, and practical implementation using syntax-guided synthesis.

• YouTube
• 32 minutes
• On-Demand
• Free Video

DEFCONConference

Automated Unpacking and Deobfuscation of Nested VM-Based Protectors

Discover DragonSlayer, an automated framework using symbolic execution and dynamic taint tracking to unpack nested VM-based protectors, reducing analysis time from weeks to hours.

• YouTube
• 39 minutes
• On-Demand
• Free Video

ACM SIGPLAN

String Constraints with Concatenation and Transducers Solved Efficiently

Delve into advanced string analysis techniques using alternating finite-state automata for efficient constraint solving, with applications in cross-site scripting detection and test-case generation.

• YouTube
• 17 minutes
• On-Demand
• Free Video

PapersWeLove

EXE - Automatically Generating Inputs of Death

Discover how EXE combines concrete execution with symbolic analysis to automatically generate test inputs that expose software vulnerabilities and edge cases.

• YouTube
• 57 minutes
• On-Demand
• Free Video

CS 6340: Software Analysis & Testing

This course covers the theory and practice of software analysis, which is at the heart of software development processes such as diagnosing bugs, testing, and debugging.

• Udacity
• 9 hours
• On-Demand
• Free Online Course

Automating Windows Kernel Analysis With Symbolic Execution

Explore automated Windows kernel analysis using symbolic execution techniques for enhanced security and vulnerability detection.

• YouTube
• 24 minutes
• On-Demand
• Conference Talk

IEEE

SymCerts - Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation

Explore practical symbolic execution techniques to uncover noncompliance in X.509 certificate validation implementations, enhancing security in SSL/TLS protocols and IoT systems.

• YouTube
• 21 minutes
• On-Demand
• Conference Talk

Recon Conference

Reverse Engineering of Black Box Binaries with Symbolic and Concolic Execution Technique

Explore symbolic and concolic execution techniques to simplify reverse engineering of complex binaries. Learn to use the angr framework for efficient crackme solving and deobfuscation.

• YouTube
• 30 minutes
• On-Demand
• Conference Talk

Black Hat

Bringing the Power of Symbolic Execution to the Fight Against Malicious Excel 4 Macros

Explore Symbexcel, a tool using symbolic execution to analyze and detect malicious Excel 4.0 macros, enhancing cybersecurity against this common attack vector.

• YouTube
• 35 minutes
• On-Demand
• Conference Talk

Hack In The Box Security Conference

Rooting Routers Using Symbolic Execution

Explore advanced techniques for exploiting router vulnerabilities using symbolic execution, uncovering potential security flaws in network devices.

• YouTube
• 57 minutes
• On-Demand
• Conference Talk

IEEE

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation

Explores cache-aware symbolic execution for detecting and mitigating side-channel vulnerabilities, offering novel abstract cache models and guidance for effective countermeasures.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Hack In The Box Security Conference

When Qiling Framework Meets Symbolic Execution

Exploring Qiling Framework's new symbolic execution capabilities for advanced binary analysis across architectures, with demonstrations and insights into its development and applications.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

ACM SIGPLAN

Symbolic Types for Lenient Symbolic Execution

Explore symbolic types in lenient symbolic execution through lambda_sym calculus, featuring occurrence typing system extensions and concreteness polymorphism for safe symbolic value handling.

• YouTube
• 25 minutes
• On-Demand
• Free Video