Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
From Zero to Hero: Bootstrapping Students into Binary Analysis
Yan Shoshitaishvili (Arizona State University)
Read MoreFirmDiff: Improving the Configuration of Linux Kernels Geared Towards...
Ioannis Angelakopoulos (Boston University), Gianluca Stringhini (Boston University), Manuel Egele (Boston 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