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.
|
|
|
PeopleDrew Davidson • Ben Moench • Somesh Jha • Thomas Ristenpart |
|
|
PublicationsFIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic ExecutionUSENIX Security 2013 |
Using FiEDownload • Getting Started |
|
|
ContactDrew Davidson: davidson@cs.wisc.edu |
|
|