Alves, Rafael, and Marco Amaral Henriques.
" Regression of the effectiveness of vulnerability analyzers in blockchain smart contracts." <em>Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity,
Foz do Iguaçu/PR, 2025</em>. SBC, 2025,  
pp.250-261.