SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities.
Proceedings of the 33rd USENIX Security Symposium, 2024
SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing.
Proceedings of the IEEE Symposium on Security and Privacy, 2024
VeriSMo: A Verified Security Module for Confidential VMs.
Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024
SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem.
Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.
CoRR, 2023
Leveraging Large Language Models for Automated Proof Synthesis in Rust.
CoRR, 2023
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel.
Proceedings of the 31st USENIX Security Symposium, 2022
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.
Proceedings of the 31st USENIX Security Symposium, 2022
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities.
Proceedings of the 29th USENIX Security Symposium, 2020
ShadowBlock: A Lightweight and Stealthy Adblocking Browser.
Proceedings of the World Wide Web Conference, 2019
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets.
Proceedings of the 27th USENIX Security Symposium, 2018