Concolic Execution for Embedded Firmware

Presentation of my summer research project - a securtiy testing framework for embedded devices.