Towards Functional Verification of eBPF Programs
| Title: | Towards Functional Verification of eBPF Programs |
|---|---|
| Authors: | Lu, Dana; Tang, Boxuan; Paper, Michael; Kogias, Marios |
| Source: | Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions. :37-43 |
| Availability: | http://dl.acm.org/doi/10.1145/3672197.3673435 |
| Database: | ACM Full-Text Collection |