Automating Windows Kernel Analysis With Symbolic Execution
Offered By: YouTube
Course Description
Overview
Explore advanced techniques for automating Windows kernel analysis using symbolic execution in this conference talk from BSides Cleveland 2019. Delve into the intricacies of kernel-level vulnerabilities and learn how to leverage symbolic execution to streamline the analysis process. Gain insights into cutting-edge methodologies for identifying and exploiting weaknesses in the Windows kernel, enhancing your understanding of system security. Discover practical applications and tools that can be utilized to improve the efficiency and effectiveness of kernel analysis workflows.
Syllabus
BSides Cleveland C 03 Automating Windows Kernel Analysis With Symbolic Execution Spencer McIntyre
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