108 citations · 263 across the 11 of their papers we have counts for
10 papers · 1 filter
What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation (Extended Version)
Wei Zhou, Lan Zhang, Le Guan +2
Emulating firmware of microcontrollers is challenging due to the lack of peripheral models. Existing work finds out how to respond to peripheral read operations by analyzing the ta…
AFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware
Wenqiang Li, Jiameng Shi, Fengjun Li +3
Fuzzing is one of the most effective approaches to finding software flaws. However, applying it to microcontroller firmware incurs many challenges. For example, rehosting-based sol…
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…
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…
Hey, you, keep away from my device: remotely implanting a virus expeller to defeat Mirai on IoT devices
Chen Cao, Le Guan, Peng Liu +3
Mirai is botnet which targets out-of-date Internet-of-Things (IoT) devices. The disruptive Distributed Denial of Service (DDoS) attack last year has hit major Internet companies, c…
TrustShadow: Secure Execution of Unmodified Applications with ARM TrustZone
Le Guan, Peng Liu, Xinyu Xing +4
The rapid evolution of Internet-of-Things (IoT) technologies has led to an emerging need to make it smarter. A variety of applications now run simultaneously on an ARM-based proces…
From Physical to Cyber: Escalating Protection for Personalized Auto Insurance
Le Guan, Jun Xu, Shuai Wang +5
Nowadays, auto insurance companies set personalized insurance rate based on data gathered directly from their customers' cars. In this paper, we show such a personalized insurance…