Kernel extension verification is untenable-Reference-Cited by-同舟云学术

Kernel extension verification is untenable

Published:2023-06-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th Workshop on Hot Topics in Operating Systems
language:
Short-container-title:

Author:

Jia Jinghao¹^ORCID,Sahu Raj²^ORCID,Oswald Adam³^ORCID,Williams Dan²^ORCID,Le Michael V.⁴^ORCID,Xu Tianyin⁵^ORCID

Affiliation:

1. Department of Computer Science, University of Illinois Urbana-Champaign, Urbana, IL, United States of America

2. Department of Computer Science, Virginia Tech, Blacksburg, VA, United States of America

3. Department of Computer Science, Virginia Tech, Blacksburg, VA, USA

4. IBM Research, Yorktown Heights, NY, United States of America

5. Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, United States of America

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

Reference53 articles.

1. CVE-2021-29154. https://nvd.nist.gov/vuln/detail/CVE-2021-29154. CVE-2021-29154. https://nvd.nist.gov/vuln/detail/CVE-2021-29154.

2. CVE-2021-31440. https://nvd.nist.gov/vuln/detail/CVE-2021-31440. CVE-2021-31440. https://nvd.nist.gov/vuln/detail/CVE-2021-31440.

3. CVE-2021-45402. https://nvd.nist.gov/vuln/detail/CVE-2021-45402. CVE-2021-45402. https://nvd.nist.gov/vuln/detail/CVE-2021-45402.

4. CVE-2022-23222. https://nvd.nist.gov/vuln/detail/CVE-2022-23222. CVE-2022-23222. https://nvd.nist.gov/vuln/detail/CVE-2022-23222.

5. CVE-2022-2785. https://nvd.nist.gov/vuln/detail/CVE-2022-2785. CVE-2022-2785. https://nvd.nist.gov/vuln/detail/CVE-2022-2785.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Empirical Study on the Challenges of eBPF Application Development;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04

3. Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

4. Maybenot: A Framework for Traffic Analysis Defenses;Proceedings of the 22nd Workshop on Privacy in the Electronic Society;2023-11-26

5. CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23