Porto, Eduardo Sandalo, and Ana Cristina Vieira de Melo.
" Foundations for Formally Verified Network Protocol Parsers in Lean 4: A Case Study with MQTT." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.178-183.