Symbolic Execution Courses and Certifications

Cooper

Bug Hunting Using Symbolic Virtual Machines - Hack.lu 2017

Explore symbolic execution for vulnerability discovery and reverse engineering. Learn KLEE symbolic virtual machine basics to solve complex challenges in software security.

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

IEEE

VerX: Safety Verification of Smart Contracts

Explore automated safety verification for smart contracts using VerX, covering specification challenges, verification techniques, and practical applications in blockchain security.

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

IEEE

Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

Efficient binary-level verification tool for constant-time programming, providing bug-finding and bounded-verification through relational symbolic execution and optimizations for information flow analysis.

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

Paul G. Allen School

PLSE Seminar Series - Willem Visser, "An Analytical Perspective on Mutations and Coverage"

Explores symbolic execution and model counting for analyzing mutations and coverage in software testing, discussing reachability, mutation operators, oracle precision, and probabilistic approaches.

• YouTube
• 1 hour
• On-Demand
• Free Video

Strange Loop Conference

Can a Programming Language Reason About Systems?

Exploring Fault: A new programming language for modeling and reasoning about diverse systems, from technical to organizational, with programmer-friendly syntax and logic-based problem-solving capabilities.

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

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

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding

Explore a novel symbolic execution technique for efficient bug finding, reducing path explosion through compatible branch coverage and program dependency analysis for faster software testing.

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

ACM SIGPLAN

Unified Compositional Symbolic Execution - N40AI'24

Explore unified compositional symbolic execution techniques for program analysis, enhancing software reliability and performance optimization.

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

ACM SIGPLAN

Symbolic Execution with Separating Decision Diagrams

Explore symbolic execution techniques using Separating Decision Diagrams in this advanced computer science talk by Josh Berdine.

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

ACM SIGPLAN

Sound Gradual Verification with Symbolic Execution

Explore sound gradual verification using symbolic execution techniques. Learn about optimized run-time check generation and its implementation in verification tools.

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

ETHTaipei

Practical Symbolic Execution for EVM - ETHTaipei 2023

Dive into symbolic execution techniques for Ethereum Virtual Machine (EVM), exploring practical applications and implementation strategies for smart contract analysis.

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

Computer Systems Security

41 reviews

Lectures cover threat models, attacks that compromise security, and techniques for achieving security, based on recent research papers.

• MIT OpenCourseWare
• 30 hours
• On-Demand
• Free Video

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
• 16 weeks
• On-Demand
• Free Online Course

angr: Binary Analysis Framework - Demonstration and Analysis

Explore angr, a powerful binary analysis framework, through demos and source code analysis. Learn its capabilities for reverse engineering and vulnerability detection.

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

Black Hat

Breaking Samsung's ARM TrustZone

Explore Samsung's TrustZone vulnerabilities and learn techniques to exploit trusted components, execute high-privilege code, and bypass security measures in ARM-based systems.

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