conference paper Open access
Verified programs can party
Hsuan-Chi Kuoa, Kai-Hsun Chena, Yicheng Lua, Dan Williamsb, Sibin Mohanc, Tianyin Xua
- aUniversity of Illinois at Urbana-Champaign
- bVirginia Tech
- cOregon State University
2022-03-28 17 citations43 references
Looking for the full paper…
Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.
Abstract
Operating system (OS) extensions are more popular than ever. For example, Linux BPF is marketed as a "superpower" that allows user programs to be downloaded into the kernel, verified to be safe and executed at kernel hook points. So, BPF extensions have high performance and are often placed at performance-critical paths for tracing and filtering.