About
Currently, I am progressing through my PhD studies in the School of Software at Tsinghua University. My focus is in the realm of system security, a field that continues to intrigue me with its dynamism and its far-reaching implications.
Under the expert supervision of Prof. Yu Jiang, I’m fortunate to have the opportunity to work in the Software System Security Assurance Group, a team committed to advancing our understanding of security in software systems and I am conducting in-depth research that is both challenging and rewarding.
A significant part of my research interest lies in the domain of Linux kernel and embedded OS fuzz testing. These sophisticated systems form the backbone of countless applications and understanding their vulnerabilities is a complex yet vital task. This intersection of practical and theoretical problem-solving is what attracts me to this field.
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.
- 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.
- 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.
- SATURN: Host-Gadget Synergistic USB Driver Fuzzing S&P (2024), Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, Yu Jiang.
- 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.
- 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