From post

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.

 

Другие публикации лиц с тем же именем

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