Alves, R., & 		Henriques, M.
2025 Sep  1.  Regression of the effectiveness of vulnerability analyzers in blockchain smart contracts. Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :