Campos, J., Carvalho, L., Oliveira, I., Silva, A., Falcão, I., Silva, M., Gonçalves, G., Vieira, A., & Nacif, J. (2025). Review of Smart Contracts Vulnerability Detection Tools of EVM Blockchains. In Proceedings of the 8th Blockchain Workshop: Theory, Technology and Applications, (pp. 126-139). Porto Alegre: SBC. doi:10.5753/wblockchain.2025.8897