TY - GEN
T1 - Artemis
T2 - 7th International Conference on Dependable Systems and Their Applications (DSA 2020)
AU - Wang, Anqi
AU - Wang, Hao
AU - Jiang, Bo
AU - Chan, W. K.
PY - 2020/11
Y1 - 2020/11
N2 - Smart contracts are programs running on top of the blockchain platform. With smart contract, users can use code to define arbitrary rules to manage their assets. However, the security vulnerabilities within those smart contracts have caused significant financial losses to their users. Existing smart contract verification tools based on symbolic execution are still not comprehensive in terms of the types of vulnerabilities detected. In this work, we present Artemis, an improved smart contract verification tool that can detect vulnerabilities that includes greedy, block information dependency, gasless send, and dangerous delegatecall. We have thoroughly evaluated our tool on 12899 smart contracts in terms of vulnerability detection effectiveness and efficiency. The experiment results show that the Artemis tool is precise and cost-effective for practical use.
AB - Smart contracts are programs running on top of the blockchain platform. With smart contract, users can use code to define arbitrary rules to manage their assets. However, the security vulnerabilities within those smart contracts have caused significant financial losses to their users. Existing smart contract verification tools based on symbolic execution are still not comprehensive in terms of the types of vulnerabilities detected. In this work, we present Artemis, an improved smart contract verification tool that can detect vulnerabilities that includes greedy, block information dependency, gasless send, and dangerous delegatecall. We have thoroughly evaluated our tool on 12899 smart contracts in terms of vulnerability detection effectiveness and efficiency. The experiment results show that the Artemis tool is precise and cost-effective for practical use.
KW - Ethereum
KW - Smart Contract Verification
KW - Symbolic Execution
KW - Vulnerability Detection
UR - http://www.scopus.com/inward/record.url?scp=85100584724&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-85100584724&origin=recordpage
U2 - 10.1109/DSA51864.2020.00031
DO - 10.1109/DSA51864.2020.00031
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9780738124230
T3 - Proceedings - International Conference on Dependable Systems and Their Applications, DSA
SP - 173
EP - 181
BT - Proceedings - 2020 7th International Conference on Dependable Systems and Their Applications
PB - IEEE
Y2 - 28 November 2020 through 29 November 2020
ER -