Enabling eBPF on Embedded Systems Through Decoupled Verification

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.