Symbolic Execution SP2024 Week 12 revpwn Nikhil Date, Helper Nikhil Date @TENSOR Pete Stenger President Emeritus Pete Stenger he/him @spicypete Thursday, April 11th, 2024 7 – 8 PM (CDT) Everitt Lab 2310 Watch video Download slides Summary Learn how to analyze and reverse engineer binaries using symbolic execution!