Results 121 to 130 of about 605 (159)

On Integrating eBPF into Pluginized Protocols [PDF]

open access: yesComputer Communication Review, 2023
eBPF is a popular technology originating from the Linux kernel that enables safely running user-provided programs in a kernel-context. This technology opened the door for efficient programming in the operating system, especially in its network stack. However, its applicability is not limited to the Linux kernel.
Louis Navarre
exaly   +4 more sources

Fast In-kernel Traffic Sketching in eBPF [PDF]

open access: yesComputer Communication Review, 2023
The extended Berkeley Packet Filter (eBPF) is an infrastructure that allows to dynamically load and run micro-programs directly in the Linux kernel without recompiling it. In this work, we study how to develop high-performance network measurements in eBPF.
Sebastiano Miano   +2 more
exaly   +6 more sources

eBPF Programming Made Easy with eCLAT

open access: yes2022 18th International Conference on Network and Service Management (CNSM), 2022
With the rise of the Network Softwarization era, eBPF has become a hot technology for efficient packet processing on commodity hardware. However the development of custom eBPF solutions is a challenging process that requires highly qualified human resources.
Andrea Mayer   +2 more
exaly   +3 more sources

Verifying the Verifier: eBPF Range Analysis Verification

open access: yesLecture Notes in Computer Science, 2023
AbstractThis paper proposes an automated method to check the correctness of range analysis used in the Linux kernel ’s eBPF verifier. We provide the specification of soundness for range analysis performed by the eBPF verifier. We automatically generate verification conditions that encode the operation of the eBPF verifier directly from the Linux kernel
Santosh Nagarakatte
exaly   +3 more sources

eBPF-based Extensible Paravirtualization

2022
High performance applications usually need to give many hints to the OS kernel regarding their needs. For example, CPU affin- ity is commonly used to pin processes to cores and avoid the cost of CPU migration, isolate performance critical tasks, bring related tasks together, and so on.
Luigi Leonardi   +2 more
openaire   +2 more sources

SoK: Challenges and Paths Toward Memory Safety for eBPF

open access: yes
The extended Berkeley Packet Filter (eBPF) subsystem in Linux enables the extension of kernel functionality without modifying kernel code. In addition to its use in networking, eBPF provides the flexibility to perform tracing, add security checks, etc ...
Kaiming Huang   +2 more
exaly   +2 more sources

BRF: Fuzzing the eBPF Runtime

Proceedings of the ACM on Software Engineering
The eBPF technology in the Linux kernel has been widely adopted for different applications, such as networking, tracing, and security, thanks to the programmability it provides. By allowing user-supplied eBPF programs to be executed directly in the kernel, it greatly increases the flexibility and efficiency of deploying customized logic.
Hsin-Wei Hung, Ardalan Amiri Sani
exaly   +2 more sources

eBPF-sec: A Defensive Framework Against eBPF Attacks on Containers

2024 IEEE Symposium on Computers and Communications (ISCC)
Lun Li
exaly   +2 more sources

ViperProbe: Rethinking Microservice Observability with eBPF

2020 IEEE 9th International Conference on Cloud Networking (CloudNet), 2020
Recent shifts to microservice-based architectures and the supporting servicemesh radically disrupt the landscape of performance-oriented management tasks. While the adoption of frameworks like Istio and Kubernetes ease the management and organization of such systems, they do not themselves provide strong observability.
Joshua Levin, Theophilus A. Benson
openaire   +1 more source

Research Report: Enhanced eBPF Verification and eBPF-based Runtime Safety Protection

2024 IEEE Security and Privacy Workshops (SPW)
Guang Jin, Jason H. Li, Greg Briskin
exaly   +2 more sources

Home - About - Disclaimer - Privacy