Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. Roscoe, and Filipe Arruda. 2024.
 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>, dezembro 04, 2024, Vitória/ES, Brasil. SBC, Porto Alegre, Brasil, 194-204.