Towards Functional Verification of eBPF Programs. - Dana Lu; Boxuan Tang; Michael Paper; Marios Kogias (eBPF@SIGCOMM, 2024)