Kernel extension verification is untenable. - Jinghao Jia; Raj Sahu; Adam Oswald; Dan Williams 001; Michael V. Le; Tianyin Xu (HotOS, 2023)

Enabling eBPF on Embedded Systems Through Decoupled Verification. - Milo Craun; Adam Oswald; Dan Williams 001 (eBPF@SIGCOMM, 2023)