Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Bug Hunting Using Symbolic Virtual Machines - Hack.lu 2017

Cooper via YouTube

Overview

Explore the world of symbolic execution and its applications in reverse engineering, fuzzing, and vulnerability discovery in this 47-minute conference talk from Hack.lu 2017. Learn the basics of using the KLEE symbolic virtual machine to solve complex challenges, including memory corruptions, logical bugs, and obfuscated arithmetic. Discover how symbolic execution, though well-documented in academic papers, remains underutilized by security researchers despite its proven effectiveness in tools like angr. Gain insights from Anto Joseph, a Security Engineer at Intel with extensive experience in mobile and web platform security, as he shares his expertise in this cutting-edge field of cybersecurity.

Syllabus

Hack.lu 2017 Bug hunting using symbolic virtual machines! by Anto Joseph

Taught by

Cooper

Reviews

Start your review of Bug Hunting Using Symbolic Virtual Machines - Hack.lu 2017

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.