Yu-Jye Tung (University of California, Irvine), Ian Harris (University of California Irvine)
A Heuristic Approach to Detect Opaque Predicates that Disrupt Static Disassembly
View More Papers
Creating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read MoreBeyond the Bytes: Understanding the Limitations of Intrinsic Binary...
Peter Lafosse (Owner and Co-Founder of Vector 35 Inc.)
Read MoreDRAGON: Predicting Decompiled Variable Data Types with Learned Confidence...
Caleb Stewart, Rhonda Gaede, Jeffrey Kulick (University of Alabama in Huntsville)
Read More