Nedas Matulevicius, Lucas C. Cordeiro. Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. In XI Brazilian Symposium on Computing Systems Engineering, SBESC 2021, Florianopolis, Brazil, November 22-26, 2021. pages 1-8, IEEE, 2021. [doi]
Abstract is missing.