J. Ferreira, P. Antonino, A. Sampaio, A. Roscoe, and F. Arruda.
" Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 194-204.