eBPF Security in the Wild: Structural Concentration, Failure Mechanisms, and Discovery Gaps

arXiv:2609.26254 · cs.CR · Submitted 2026-08-27 · Read on arXiv

cs.CR

Submitted: 2026-08-27

Updated: 2026-08-27

Code: https://github.com/google/buzzer

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Verifier — 189× in this paper · explained in 2 episodes
Core — 41× in this paper · explained in 2 episodes
Verification — 25× in this paper · explained in 2 episodes
Abstraction — 17× in this paper · explained in 1 episode
Failure Modes — 13× in this paper · explained in 3 episodes
Consistency — 10× in this paper · explained in 3 episodes
Trace — 9× in this paper · explained in 2 episodes
Aggregation — 5× in this paper · explained in 1 episode
Hierarchical Classification — 5× in this paper · explained in 2 episodes
Semantic Gap — 5× in this paper · explained in 2 episodes
Sparsity — 4× in this paper · explained in 4 episodes
Accuracy — 3× in this paper · explained in 1 episode
Extended Berkeley Packet Filter — 3× in this paper
Unified Framework — 3× in this paper · explained in 5 episodes
Alignment — 2× in this paper · explained in 1 episode
Feature Extraction — 2× in this paper · explained in 2 episodes
Pruning — 2× in this paper · explained in 4 episodes
Robustness — 2× in this paper · explained in 5 episodes
Actor — 1× in this paper · explained in 3 episodes
Allocator — 1× in this paper · explained in 1 episode
Distillation — 1× in this paper · explained in 2 episodes
Formal Methods — 1× in this paper · explained in 3 episodes
Formal Verification — 1× in this paper · explained in 2 episodes
Ontology — 1× in this paper · explained in 2 episodes

Related papers