Hack.lu 2017 SMT Solvers in the IT Security - deobfuscating binary code with logic by Thaís Hamasaki
▶Hack.lu 2017 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