18 citations · 30 across the 5 of their papers we have counts for
7 papers
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…
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…
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…
Logic Bugs in IoT Platforms and Systems: A Review
Wei Zhou, Chen Cao, Dongdong Huo +9
In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, th…
Good Motive but Bad Design: Why ARM MPU Has Become an Outcast in Embedded Systems
Wei Zhou, Le Guan, Peng Liu +1
As more and more embedded devices are connected to the Internet, leading to the emergence of Internet-of-Things (IoT), previously less tested (and insecure) devices are exposed to…
Discovering and Understanding the Security Hazards in the Interactions between IoT Devices, Mobile Apps, and Clouds on Smart Home Platforms
Wei Zhou, Yan Jia, Yao Yao +5
A smart home connects tens of home devices to the Internet, where an IoT cloud runs various home automation applications. While bringing unprecedented convenience and accessibility…