108 citations · 263 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.CR2021★ 3 cited
Finding Taint-Style Vulnerabilities in Linux-based Embedded Firmware with SSE-based Alias Analysis
Kai Cheng, Tao Liu, Le Guan +4
Although the importance of using static analysis to detect taint-style vulnerabilities in Linux-based embedded firmware is widely recognized, existing approaches are plagued by thr…
cs.CR2021★ 1 cited
Automatic Firmware Emulation through Invalidity-guided Knowledge Inference (Extended Version)
Wei Zhou, Le Guan, Peng Liu +1
Emulating firmware for microcontrollers is challenging due to the tight coupling between the hardware and firmware. This has greatly impeded the application of dynamic analysis too…
cs.PL2021★ 18 cited
From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware
Wenqiang Li, Le Guan, Jingqiang Lin +2
Finding bugs in microcontroller (MCU) firmware is challenging, even for device manufacturers who own the source code. The MCU runs different instruction sets than x86 and exposes a…