conftrace_

approximation correctness

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ebpf verifier (1) kernel security (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