Nedas Matulevicius and Lucas Cordeiro. 2021.
 Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. In <em>Proceedings of the 11th Brazilian Symposium on Computing Systems Engineering</em>, November 22, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 89-96.