Milo Craun, Adam Oswald, Dan Williams. Enabling eBPF on Embedded Systems Through Decoupled Verification. In Proceedings of the 1st Workshop on eBPF and Kernel Extensions, eBPF 2023, New York, NY, USA, 10 September 2023. pages 63-69, ACM, 2023. [doi]
Abstract is missing.