Author

Ya-Lu Cai

h-index 0 View on Semantic Scholar

We have 1 of 1 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Sep 2026

Proof-Carrying-BPF Programs for the eBPF Verifier

A userspace version of the kernel verifier is developed and appended to the BPF backend to increase the class of programs accepted by the Linux eBPF verifier without increasing its complexity.

Ya-Lu Cai, Santosh Nagarakatte · Proceedings of the 4th Works... · 0 citations