Author of the publication

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.

, , , , , , and . CCS, page 811-824. ACM, (2021)

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

SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers., , , and . CCS, page 749-763. ACM, (2021)Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels., , , , , , and . CCS, page 811-824. ACM, (2021)ShadowBlock: A Lightweight and Stealthy Adblocking Browser., , , , , and . WWW, page 2483-2493. ACM, (2019)SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel., , , , and . CoRR, (2021)Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel., , , , , , , , , and 1 other author(s). NDSS, The Internet Society, (2022)E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification., , , and . CoRR, (2023)KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities., , , and . USENIX Security Symposium, page 1093-1110. USENIX Association, (2020)Leveraging Large Language Models for Automated Proof Synthesis in Rust., , , and . CoRR, (2023)LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution., , , , , and . USENIX Security Symposium, page 125-142. USENIX Association, (2022)SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel., , , , and . USENIX Security Symposium, page 3201-3217. USENIX Association, (2022)