Soares, G., 		S. Filho, J., 		Fontanini, N., & 		Evaristo, B.
(2026).
 OrchestralSec: Um Framework Híbrido e Explicável para Segurança de Contratos Inteligentes Solidity.
In <em>Anais do IX Workshop em Blockchain: Teoria, Tecnologias e Aplicações</em>, (pp. 70-83). Porto Alegre: SBC.
doi:10.5753/wblockchain.2026.22966