conftrace_

kernel security

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

extended berkeley packet filter (2) program verification (2) runtime overhead (1) ebpf verifier (1) approximation correctness (1) bytecode verification (1) annotation-guided verification (1) mandatory access control (1) policy template (1) linux security module (1)

Papers

USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems (Operational Systems) OSDI 2026 VEP: A Two-stage Verification Toolchain for Full eBPF Programmability NSDI 2025 Validating the eBPF Verifier via State Embedding OSDI 2024