FiE on Firmware!

Finding Vulnerabilities in Embedded Systems Using Symbolic Execution


About

FiE is a symbolic execution engine based on KLEE, specifically targeted for finding vulnerabilities in the firmware of MSP430 Microcontrollers.

People

Drew Davidson   •   Ben Moench   •   Somesh Jha   •   Thomas Ristenpart

Publications

FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution
USENIX Security 2013


Using FiE

Download   •   Getting Started  

Contact

Drew Davidson: davidson@cs.wisc.edu