research
∙
08/16/2022
What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation
Emulating firmware of microcontrollers is challenging due to the lack of...
share
research
∙
02/07/2022
μAFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware
Fuzzing is one of the most effective approaches to finding software flaw...
research
∙
09/24/2021
Finding Taint-Style Vulnerabilities in Linux-based Embedded Firmware with SSE-based Alias Analysis
Although the importance of using static analysis to detect taint-style v...
research
∙
07/16/2021
Automatic Firmware Emulation through Invalidity-guided Knowledge Inference (Extended Version)
Emulating firmware for microcontrollers is challenging due to the tight ...
research
∙
07/04/2021
From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware
Finding bugs in microcontroller (MCU) firmware is challenging, even for ...
research
∙
12/31/2019
Logic Bugs in IoT Platforms and Systems: A Review
In recent years, IoT platforms and systems have been rapidly emerging. A...
research
∙
08/09/2019
Good Motive but Bad Design: Why ARM MPU Has Become an Outcast in Embedded Systems
As more and more embedded devices are connected to the Internet, leading...
research
∙
11/08/2018
Phantom Device Attack: Uncovering the Security Implications of the Interactions among Devices, IoT Cloud, and Mobile Apps
Smart home connects tens of home devices into the Internet, running a sm...
research
∙
04/19/2017