Book
Open access
Sep 2026
Unifying eBPF across Platforms: Formal Semantics, Conformance Testing, and Specifications
This work is building an executable formal semantics for eBPF in F* that explicitly distinguishes cross-platform and platform-specific behaviors and envision this semantics as a practical foundation for a uniform, trustworthy eBPF across platforms.
Yan-Ze Li, Reto Achermann, Ivan Beschastnikh et al.
· Proceedings of the 4th Works... · 0 citations