Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
Beyond the Bytes: Understanding the Limitations of Intrinsic Binary...
Peter Lafosse (Owner and Co-Founder of Vector 35 Inc.)
Read MoreThe Inconvenient Truths of Ground Truth for Binary Analysis
Jim Alves-Foss, Varsha Venugopal (University of Idaho)
Read MoreA Cross-Architecture Instruction Embedding Model for Natural Language Processing-Inspired...
Kimberly Redmond (University of South Carolina), Lannan Luo (University of South Carolina), Qiang Zeng (University of South Carolina)
Read More