Simple and precise static analysis of untrusted Linux kernel extensions-Reference-Cited by-同舟云学术

Simple and precise static analysis of untrusted Linux kernel extensions

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Gershuni Elazar¹,Amit Nadav²,Gurfinkel Arie³,Narodytska Nina²,Navas Jorge A.⁴,Rinetzky Noam⁵,Ryzhyk Leonid²,Sagiv Mooly⁵

Affiliation:

1. VMware, USA / Tel Aviv University, Israel

2. VMware, USA

3. University of Waterloo, Canada

4. SRI International, USA

5. Tel Aviv University, Israel

Funder

Tel Aviv University

United States - Israel Binational Science Foundation

National Science Foundation

Israel Science Foundation

Natural Sciences and Engineering Research Council of Canada

PAZY Foundation

Office of Naval Research

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3314221.3314590

Reference53 articles.

1. 2018. (2018). https://github.com/cilium/cilium/blob/master/bpf/lxc_config.h. 2018. (2018). https://github.com/cilium/cilium/blob/master/bpf/lxc_config.h.

2. 2018. (2018). https://github.com/cilium/cilium/commit/06efc2. 2018. (2018). https://github.com/cilium/cilium/commit/06efc2.

3. 2018. Cilium: API-aware Networking and Security. https://cilium.io/. (2018). 2018. Cilium: API-aware Networking and Security. https://cilium.io/. (2018).

4. 2018. Coverity Scan: Linux. https://scan.coverity.com/projects/linux. (2018). 2018. Coverity Scan: Linux. https://scan.coverity.com/projects/linux. (2018).

5. 2018. eBPF maps. https://prototype-kernel.readthedocs.io/en/latest/bpf/ebpf_maps.html. (2018). 2018. eBPF maps. https://prototype-kernel.readthedocs.io/en/latest/bpf/ebpf_maps.html. (2018).

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

1. hyDNS: Acceleration of DNS Through Kernel Space Resolution;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04

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

3. NetEdit: An Orchestration Platform for eBPF Network Functions at Scale;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

4. BRF: Fuzzing the eBPF Runtime;Proceedings of the ACM on Software Engineering;2024-07-12

5. Automating Registration of Executables as Commands on the Ubuntu-Linux Platform;2024 5th International Conference for Emerging Technology (INCET);2024-05-24