I just noticed FIE, from Usenix Security 2013! FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution Drew Davidson, Benjamin Moench, Somesh Jha, Thomas Ristenpart Embedded systems increasingly use software-driven low-power microprocessors for security-critical settings, surfacing a need for tools that can audit the security of the software (often called firmware) running on … Continue reading FiE