Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
FirmDiff: Improving the Configuration of Linux Kernels Geared Towards...
Ioannis Angelakopoulos (Boston University), Gianluca Stringhini (Boston University), Manuel Egele (Boston University)
Read MoreUnderstanding MPU Usage in Microcontroller-based Systems in the Wild
Wei Zhou, Zhouqi Jiang (School of Cyber Science and Engineering, Huazhong University of Science and Technology), Le Guan (School of Computing, University of Georgia)
Read MoreFrom Zero to Hero: Bootstrapping Students into Binary Analysis
Yan Shoshitaishvili (Arizona State University)
Read MoreAll things Binary
Dr. Sergey Bratus, DARPA PI and Research Associate Professor at Dartmouth College
Read More