Soares, Guilherme, João L. D. S. Filho, Nicholas P. Fontanini, and Bruno Evaristo.
" OrchestralSec: Um Framework Híbrido e Explicável para Segurança de Contratos Inteligentes Solidity." <em>Anais do IX Workshop em Blockchain: Teoria, Tecnologias e Aplicações,
Praia do Forte/BA, 2026</em>. SBC, 2026,  
pp.70-83.