Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
FirmLine: a Generic Pipeline for Large-Scale Analysis of Non-Linux...
Alexander Balgavy (Independent), Marius Muench (University of Birmingham)
Read MoreIs Your Firmware Real or Re-Hosted? A case study...
Abraham A. Clements, Logan Carpenter, William A. Moeglein (Sandia National Laboratories), Christopher Wright (Purdue University)
Read MoreAccurate Compiler and Optimization Independent Function Identification Using Program...
Derrick McKee (Purdue University), Nathan Burow (MIT Lincoln Laboratory), Mathias Payer (EPFL)
Read More