The Case for Semantics-Based Methods in Reverse Engineering presented at REcon 2012

by Rolf Rolles,

Tags: Reverse Engineering Formal Methods SMT Solvers

URL : http://recon.cx/2012/schedule/attachments/52_semantics-based-methods.pdf

Summary : N/A