Symbolically Executing a Fuzzy Tyrant
Offered By: YouTube
Course Description
Overview
Explore symbolic execution and fuzzing techniques in this 43-minute conference talk from GrrCON 2019. Dive into the intricacies of combining these powerful software testing methodologies to enhance vulnerability detection and improve overall system security. Learn how to effectively implement and leverage symbolic execution alongside fuzzing strategies to uncover hidden flaws in complex software systems. Gain insights into practical applications, challenges, and best practices for integrating these advanced testing approaches into your security workflow.
Syllabus
GrrCON 2019 2 04 Symbolically executing a fuzzy tyrant Lojikil
Related Courses
Formal Software VerificationUniversity 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