Validating the eBPF Verifier via State Embedding.

Hao Sun, Zhendong Su

Browse the full OSDI paper archive.