Anqi Wang, Hao Wang, Bo Jiang, Wing Kwong Chan. Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection. In 7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020. pages 173-181, IEEE, 2020. [doi]
@inproceedings{WangWJC20,
title = {Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection},
author = {Anqi Wang and Hao Wang and Bo Jiang and Wing Kwong Chan},
year = {2020},
doi = {10.1109/DSA51864.2020.00031},
url = {https://doi.org/10.1109/DSA51864.2020.00031},
researchr = {https://researchr.org/publication/WangWJC20},
cites = {0},
citedby = {0},
pages = {173-181},
booktitle = {7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020},
publisher = {IEEE},
isbn = {978-0-7381-2422-3},
}