Greg Briskin

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

2024

The extended Berkeley Packet Filter (eBPF) technology has been extending the capabilities of current Operating Systems (OSs) rapidly in recent years. The eBPF community is well-aware of using formal verification methods to ensure the security …