conftrace_

ebpf verifier

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

kernel security (1) approximation correctness (1) logic bug (1) privilege escalation (1) state embedding (1) linux kernel (1) extended berkeley packet filter (1) program verification (1)

Papers

Validating the eBPF Verifier via State Embedding OSDI 2024