Ferreira, J., 		Antonino, P., 		Sampaio, A., 		Roscoe, A., & 		Arruda, F.
2024 Dec  4.  Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :