Alves, Rafael, AND 		Henriques, Marco.
" Regression of the effectiveness of vulnerability analyzers in blockchain smart contracts" <em>Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (1 September 2025)