Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
Automating Firmware Vulnerability Triage via High-Level Representations and Similarity...
Daniel Huici, Ricardo J. Rodríguez (University of Zaragoza), Andrei Costin (University of Jyvaskyla), Narges Yousefnezhad (Binare Oy)
Read More30 Years into Scientific Binary Decompilation: What We Have...
Dr. Ruoyu (Fish) Wang, Assistant Professor at Arizona State University
Read More