About
I am progressing through my PhD studies at Tsinghua University. My research interest focuses on system security, with an emphasis on operating systems and embedded systems security. This includes the Linux kernel, embedded operating systems, and robot operating systems. These sophisticated systems form the very backbone of countless applications in our daily lives, and understanding their vulnerabilities is a complex and vital task.
Selected Publications
- Enhancing ROS System Fuzzing through Callback Tracing, ISSTA (2024), Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, Yu Jiang. pdf
- Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux, RTSS (2023), Yuheng Shen, Shijun Chen, Jianzhong Liu, Yiru Xu, Qiang Zhang, Runzhe Wang, Heyuan Shi, Yu Jiang. pdf
- Tardis: Coverage-Guided Embedded Operating System Fuzzing, TCAD (2022), Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang. pdf
- Rtkaller: State-aware task generation for RTOS fuzzing, EMSOFT (2021), Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang. pdf
- Effectively Sanitizing Embedded Operating Systems, DAC (2024) Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Heyuan Shi, Yu Jiang. pdf
- *Horus: Accelerating Kernel Fuzzing Through Efficient Host-VM Memory Access Procedures, TOSEM (2023), Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
- KSG: Augmenting Kernel Fuzzing with System Call Specification Generation, ATC (2022), Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang. pdf
- HEALER: Relation learning guided kernel fuzzing, SOSP (2021), Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui. pdf
Awards
- Second Class Scholarship at Tsinghua University (2023)
- First Class Scholarship at Tsinghua University (2022)
- Second Class Scholarship at Tsinghua University (2021)
- National Scholarship (2018)
Services
- ISSRE 21’ External Reviewers