Emiliano, Marcos Geraldo Braga, and Rodrigo Ribeiro.
" A Mechanized Semantics For eBPF And Its Applications In Program Verification." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.37-45.