1. Towards Functional Verification of eBPF Programs. Author Dana Lu, Boxuan Tang, Michael Paper, and Marios Kogias Published 2024 Full Text View/download PDF