Symbolic Execution SP2024 Week 12 revpwn Nikhil Date, Admin Nikhil Date @TENSOR Pete Stenger Ex-President 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!