Carrera, Lívia, Raquel C. G. Pinto, and Anderson Fernandes Pereira dos Santos.
" Artificial Intelligence for Security Analysis of Smart Contracts: A Systematic Review." <em>Proceedings of the 32nd Brazilian Symposium on Multimedia and the Web,
Lavras/MG, 2026</em>. SBC, 2026,  
pp.608-621.