Ferreira, J., 		Antonino, P., 		Sampaio, A., 		Roscoe, A., & 		Arruda, F.
(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>, (pp. 194-204). Porto Alegre: SBC.