108 citations · 263 across the 11 of their papers we have counts for
Showing 2021 · cs.CRShow all
2 papers · 2 filters
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…