There is a newer version of the record available.

Published August 2, 2026 | Version 2.0.0
Software Open

Artifact for Paper "Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications"

Authors/Creators

  • 1. ROR icon Zhejiang University
  • 2. Inria Centre de Recherche Rennes Bretagne Atlantique

Files

README_v2.pdf

Files (3.6 GB)

Name Size
md5:bfc421f8b3901d30d295998d239888f5
1.7 GB Download
md5:c6352adb5014e6200d28bc07b153a73a
1.6 GB Download
md5:55d5dd0ff8a598442d6bda3962e84445
320.2 MB Download
md5:cf582fa12fbd85c29ec4d74b470d9f76
52.7 kB Preview Download

Additional details

Dates

Created
2026-07-29
Updated
2026-08-02

Software

Repository URL
https://github.com/OpenSourceVerif/linux-ebpf-verifier-proofs
Programming language
Coq , OCaml , C
Development Status
Active