Guilherme Soares, João S. Filho, Nicholas Fontanini, and Bruno Evaristo. 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>, maio 25, 2026, Praia do Forte/BA, Brasil. SBC, Porto Alegre, Brasil, 70-83. DOI: <a href="https://doi.org/10.5753/wblockchain.2026.22966">https://doi.org/10.5753/wblockchain.2026.22966</a>.