Papers relevant for "Using correct by construction techniques to generate kernel extensions"
- https://www.usenix.org/system/files/nsdi25-wu-xiwei.pdf
- https://www.lukenels.net/slides/2021-09-23-lpc21.pdf
- eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle | Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles https://dl.acm.org/doi/10.1145/3731569.3764797
- Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement | Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles https://dl.acm.org/doi/10.1145/3731569.3764796
- https://arxiv.org/pdf/2606.24213
- https://arxiv.org/abs/2507.09883v1
- https://dl.acm.org/doi/10.1145/3656440
- https://dl.acm.org/doi/pdf/10.1145/3593856.3595892
- https://www.usenix.org/conference/atc25/presentation/jia
- https://vbpf.github.io/assets/prevail-paper.pdf
- [2305.08782] BRF: eBPF Runtime Fuzzer https://arxiv.org/abs/2305.08782