Author of the publication

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.

, , , , , and . EuroSys, page 689-703. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

KSG: Augmenting Kernel Fuzzing with System Call Specification Generation., , , , and . USENIX Annual Technical Conference, page 351-366. USENIX Association, (2022)Theoretical Studies and Implementation on the Temporary Data Storage Method for Cone Penetration Test., , , , , and . Sensors, 21 (2): 575 (2021)Industry practice of configuration auto-tuning for cloud applications and services., , , , , , , , , and . ESEC/SIGSOFT FSE, page 1555-1565. ACM, (2022)Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux., , , , , , , and . RTSS, page 495-499. IEEE, (2023)HEALER: Relation Learning Guided Kernel Fuzzing., , , , , , and . SOSP, page 344-358. ACM, (2021)Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures., , , , and . ACM Trans. Softw. Eng. Methodol., 33 (1): 11:1-11:25 (January 2024)ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation., , , , , and . DAC, page 1-6. IEEE, (2020)Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program., , , , , and . EuroSys, page 689-703. ACM, (2024)Tardis: Coverage-Guided Embedded Operating System Fuzzing., , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4563-4574 (2022)Rtkaller: State-aware Task Generation for RTOS Fuzzing., , , , , and . ACM Trans. Embed. Comput. Syst., 20 (5s): 83:1-83:22 (2021)