R. S. R. Alves e M. A. Henriques, “Avaliação da eficácia de analisadores de vulnerabilidades em contratos inteligentes de blockchains”, REIC, vol. 24, nº 1, p. 28–38, jan. 2026.