Soares, G., S. Filho, J., Fontanini, N., & Evaristo, B. (2026). OrchestralSec: A Hybrid and Explainable Framework for Solidity Smart Contract Security. In Proceedings of the 9th Blockchain Workshop: Theory, Technology and Applications, (pp. 70-83). Porto Alegre: SBC. doi:10.5753/wblockchain.2026.22966