Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
Analyzing the Security of Smart Automobile Applications
Zoya Yeprem (University of Virginia)
Read MoreDetecting Obfuscated Function Clones in Binaries using Machine Learning
Michael Pucher (University of Vienna), Christian Kudera (SBA Research), Georg Merzdovnik (SBA Research)
Read MoreTowards Better CFG Layouts
Jack Royer (CentraleSupélec), Frédéric TRONEL (CentraleSupélec, Inria, CNRS, University of Rennes), Yaëlle Vinçont (Univ Rennes, Inria, CNRS, IRISA)
Read MoreUnlocking the Potential of Domain Aware Binary Analysis in...
Dr. Zhiqiang Lin (Distinguished Professor of Engineering at The Ohio State University)
Read More