Concolic Execution for Embedded Firmware
Published in In Progress, 2018
Recommended citation: Dennis Roellke, Brendan Dolan-Gavitt. (2018). "Concolic Execution for Embdded Firmware."
This paper is about an open-source concolic execution engine for dynamic vulnerability analysis of embedded firmware.