PUBLICATIONS

publications by categories in reverse chronological order.

2024

  1. OSDI ’24
    Validating the eBPF Verifier via State Embedding
    Hao, Sun, and Zhendong, Su
    In Proceedings of the 18h USENIX Conference on Operating Systems Design and Implementation 2024
  2. EuroSys ’24
    Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program
    Hao, Sun, Yiru, Xu, Jianzhong, Liu, Yuheng, Shen, Nan, Guan, and Yu, Jiang
    In Proceedings of the European Conference on Computer Systems 2024
  3. S&P ’24
    SATURN: Host-Gadget Synergistic USB Driver Fuzzing
    Yiru, Xu,  Hao, Sun, Jianzhong, Liu, Yuheng, Shen, and Yu, Jiang
    In 2024 IEEE Symposium on Security and Privacy (SP) May 2024

2023

  1. TOSEM
    Horus: Accelerating Kernel Fuzzing Through Efficient Host-VM Memory Access Procedures
    Jianzhong, Liu, Yuheng, Shen, Yiru, Xu,  Hao, Sun, and Yu, Jiang
    ACM Trans. Softw. Eng. Methodol. Aug 2023

2022

  1. EMSOFT ’22
    Tardis: Coverage-Guided Embedded Operating System Fuzzing
    Yuheng, Shen, Yiru, Xu,  Hao, Sun, Jianzhong, Liu, Zichen, Xu, Aiguo, Cui, Heyuan, Shi, and Jiang, Yu
    ACM Trans. Embed. Comput. Syst. Aug 2022
  2. ATC ’22
    KSG: Augmenting Kernel Fuzzing with System Call Specification Generation
    Hao, Sun, Yuheng, Shen, Jianzhong, Liu, Yiru, Xu, and Yu, Jiang
    In 2022 USENIX Annual Technical Conference (USENIX ATC 22) Jul 2022

2021

  1. SOSP ’21
    HEALER: Relation Learning Guided Kernel Fuzzing
    Hao, Sun, Yuheng, Shen, Cong, Wang, Jianzhong, Liu, Yu, Jiang, Ting, Chen, and Aiguo, Cui
    In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles Jul 2021
  2. EMSOFT ’21
    Rtkaller: State-Aware Task Generation for RTOS Fuzzing
    Yuheng, Shen,  Hao, Sun, Yu, Jiang, Heyuan, Shi, Yixiao, Yang, and Wanli, Chang
    ACM Trans. Embed. Comput. Syst. Sep 2021

2019

  1. ISSRE ’19
    Go-Sanitizer: Bug-Oriented Assertion Generation for Golang
    Cong, Wang,  Hao, Sun, Yiwen, Xu, Yu, Jiang, Huafeng, Zhang, and Ming, Gu
    In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Sep 2019