About
I am progressing through my PhD studies at Tsinghua University. My focus is on system security, with an emphasis on operating systems and embedded systems security. This includes the Linux kernel, embedded operating systems, robot operating system, and embedded applications. These sophisticated systems form the very backbone of countless applications in our daily lives, and understanding their vulnerabilities is a complex and vital task.
Publications
- CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community, FSE industry (2024), Jing Luo, Heyuan Shi, Yongchao Zhang, Runzhe Wang, Yuheng Shen, Yuao Chen Rongkai Liu, Xiaohai Shi, Chao Hu, Yu Jiang.
- Effectively Sanitizing Embedded Operating Systems, DAC (2024) Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Heyuan Shi, Yu Jiang. pdf
- 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
- Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program, EuroSys (2024), Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, and Yu Jiang. pdf
- SATURN: Host-Gadget Synergistic USB Driver Fuzzing S&P (2024), Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, 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
- *Horus: Accelerating Kernel Fuzzing Through Efficient Host-VM Memory Access Procedures, TOSEM (2023), Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
- Industry practice of configuration auto-tuning for cloud applications and services, ICSE (2022), Runzhe Wang, Qinglong Wang, Yuxi Hu, Heyuan Shi, Yuheng Shen, Yu Zhan, Ying Fu, Zheng Liu, Xiaohai Shi, Yu Jiang. pdf
- KSG: Augmenting Kernel Fuzzing with System Call Specification Generation, ATC (2022), Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, 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
- HEALER: Relation learning guided kernel fuzzing, SOSP (2021), Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui. pdf
- ICS protocol fuzzing: coverage guided packet crack and generation, DAC (2020), Zhengxiong Luo, Feilong Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, Yu Jiang. 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