Biblio

Export 6 results:
Filters: Author is Weiteng Chen  [Clear All Filters]
2024
Zhang Z, Hao Y, Chen W, Zou X, Li X, Li H, Zhai Y, Lau B.  2024.  SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities. 33rd USENIX Security Symposium (USENIX Security 24). :2493--2510.
Zhou Z, Anjali, Chen W, Gong S, Hawblitzel C, Cui W.  2024.  VeriSMo: A Verified Security Module for Confidential VMs. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :599--614.
2022
Liu J, Yi L, Chen W, Song C, Qian Z, Yi Q.  2022.  LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. 31st USENIX Security Symposium (USENIX Security 22). :125--142.
Zou X, Li G, Chen W, Zhang H, Qian Z.  2022.  SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel. 31st USENIX Security Symposium (USENIX Security 22). :3201--3217.
2020
Chen W, Zou X, Li G, Qian Z.  2020.  KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities. 29th USENIX Security Symposium (USENIX Security 20). :1093--1110.
2018
Chen W, Qian Z.  2018.  Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets. 27th USENIX Security Symposium (USENIX Security 18). :1581--1598.