PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 14:50 - 15:05 at Iceland - Embedded Systems Chair(s): Jian-Jia Chen

Fuzzing is a highly effective means of discovering vulnerabilities in traditional software. However, when it comes to fuzzing an embedded system, especially for a smaller microcontroller device with monolithic firmware, the challenges are considerable. The highly constrained resources of the system and the diverse behaviors of peripherals often render software instrumentation or emulation-based fuzzing impractical in many cases. In this work, we introduce TWFuzz, a fuzzing tool designed for effective coverage collection in embedded systems. Specifically, TWFuzz relies on two hardware interfaces (tracing and debugging) and three types of probes (program counter samples, instruction address matchings, hardware breakpoints) as feedback channels for coverage-guided fuzzing. The ARM Single Wire Output (SWO) hardware tracing interface is used for capturing periodic samples of the program counter. The ARM Serial Wire Debug (SWD) debugging interface is used for setting and checking a limited number of instruction address matchings and hardware breakpoints. With these three types of probes, TWFuzz can extract coverage information without costly code instrumentation and hardware emulation, which enables effective fuzzing on embedded systems. To optimize the fuzzing flow, in particular the tracing analysis part, we implement TWFuzz on PYNQ-Z1 FPGA board. We evaluate TWFuzz on two development boards. Compared to the state-of-the-art open-source fuzzer GDBFuzz, TWFuzz achieves an average code coverage improvement of 1.24 times.

Mon 24 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
Embedded SystemsLCTES at Iceland
Chair(s): Jian-Jia Chen TU Dortmund University
13:40
15m
Talk
SmartVisor: User-Friendly Hypervisor for Mobile RobotsRemote
LCTES
Guanyu Chen Zhejiang University, Pan Lv Zhejiang University, Hong Li Zhejiang University, Guoqing Yang Zhejiang University
13:55
15m
Talk
Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
LCTES
Kiung Jung Yonsei University, Seok Namkoong Yonsei University, Hongjun Um Hanyang University, Hyejun Kim Yonsei University, Youngsok Kim Yonsei University, Yongjun Park Yonsei University
14:10
15m
Talk
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
LCTES
Phillip Raffeck Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Johannes Maier Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU)
14:25
10m
Break
Break - 10 minutes
LCTES

14:35
15m
Talk
Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
LCTES
Ruitao Feng SMU, Sen Li Tianjin University, Sen Chen Tianjin University, Mengmeng Ge Nanyang Technological University, Xuewei Li Tianjin University, Xiaohong Li Tianjin University
14:50
15m
Talk
TWFuzz: Fuzzing Embedded Systems with Three WiresRemote
LCTES
Zhongwen Feng Chang' an University, Junyan Ma Chang'an University
15:05
15m
Talk
OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
LCTES
Brayden McDonald North Carolina State University, Frank Mueller North Carolina State University, USA