TY - GEN
T1 - An Efficient Vulnerability Detection Model for Ethereum Smart Contracts
AU - Song, Jingjing
AU - He, Haiwu
AU - Lv, Zhuo
AU - Su, Chunhua
AU - Xu, Guangquan
AU - Wang, Wei
N1 - KAUST Repository Item: Exported on 2020-10-01
Acknowledgements: The work reported in this paper was supported in part by Natural Science Foundation of China, under Grant U1736114.
PY - 2019/12/10
Y1 - 2019/12/10
N2 - Smart contracts are decentralized applications running on the blockchain to meet various practical scenario demands. The increasing number of security events regarding smart contracts have led to huge pecuniary losses and destroyed the ecological stability of contract layer on the blockchain. Faced with the increasing quantity of contracts, it is an emerging issue to effectively and efficiently detect vulnerabilities in smart contracts. Existing methods of detecting vulnerabilities in smart contracts like Oyente mainly employ symbolic execution. This method is very time-consuming, as the symbolic execution requires the exploration of all executable paths in a contract. In this work, we propose an efficient model for the detection of vulnerabilities in Ethereum smart contracts with machine learning techniques. The model is able to effectively and fast detect vulnerabilities based on the patterns learned from training samples. Our model is evaluated on 49502 real-world smart contracts and the results verify its effectiveness and efficiency.
AB - Smart contracts are decentralized applications running on the blockchain to meet various practical scenario demands. The increasing number of security events regarding smart contracts have led to huge pecuniary losses and destroyed the ecological stability of contract layer on the blockchain. Faced with the increasing quantity of contracts, it is an emerging issue to effectively and efficiently detect vulnerabilities in smart contracts. Existing methods of detecting vulnerabilities in smart contracts like Oyente mainly employ symbolic execution. This method is very time-consuming, as the symbolic execution requires the exploration of all executable paths in a contract. In this work, we propose an efficient model for the detection of vulnerabilities in Ethereum smart contracts with machine learning techniques. The model is able to effectively and fast detect vulnerabilities based on the patterns learned from training samples. Our model is evaluated on 49502 real-world smart contracts and the results verify its effectiveness and efficiency.
UR - http://hdl.handle.net/10754/661849
UR - http://link.springer.com/10.1007/978-3-030-36938-5_26
UR - http://www.scopus.com/inward/record.url?scp=85076991973&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-36938-5_26
DO - 10.1007/978-3-030-36938-5_26
M3 - Conference contribution
SN - 9783030369378
SP - 433
EP - 442
BT - Network and System Security
PB - Springer International Publishing
ER -