Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
Sn4ke: Practical Mutation Analysis of Tests at Binary Level
Mohsen Ahmadi (Arizona State University), Pantea Kiaei (Worcester Polytechnic Institute), Navid Emamdoost (University of Minnesota)
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 MoreBinary Code Patching: An Ancient Art Refined for the...
Dr. Barton P. Miller (Vilas Distinguished Achievement Professor at The University of Wisconsin-Madison)
Read MoreDITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86...
Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)
Read More