Emiliano, Marcos Geraldo Braga, E 		Ribeiro, Rodrigo.
" A Mechanized Semantics For eBPF And Its Applications In Program Verification" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (8 setembro 2026)