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