Backward-bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
▶Backward-bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on reverse-engineering (22:28 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube