Emiliano, M., & 		Ribeiro, R.
2026 set  8.  A Mechanized Semantics For eBPF And Its Applications In Program Verification. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :