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]
@inproceedings{MatuleviciusC21, title = {Verifying Security Vulnerabilities for Blockchain-based Smart Contracts}, author = {Nedas Matulevicius and Lucas C. Cordeiro}, year = {2021}, doi = {10.1109/SBESC53686.2021.9628229}, url = {https://doi.org/10.1109/SBESC53686.2021.9628229}, researchr = {https://researchr.org/publication/MatuleviciusC21}, cites = {0}, citedby = {0}, pages = {1-8}, booktitle = {XI Brazilian Symposium on Computing Systems Engineering, SBESC 2021, Florianopolis, Brazil, November 22-26, 2021}, publisher = {IEEE}, isbn = {978-1-6654-4311-1}, }