SMT Solvers in the IT Security deobfuscating binary code with logic by Thaís Hamasaki
▶SMT Solvers in the IT Security deobfuscating binary code with logic by Thaís Hamasaki — a 2017 Hack.lu - 2017 security conference talk on reverse-engineering (26:30 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube