An Efficient Vulnerability Detection Model for Ethereum Smart Contracts

Abstract
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.

Citation
Song, J., He, H., Lv, Z., Su, C., Xu, G., & Wang, W. (2019). An Efficient Vulnerability Detection Model for Ethereum Smart Contracts. Lecture Notes in Computer Science, 433–442. doi:10.1007/978-3-030-36938-5_26

Acknowledgements
The work reported in this paper was supported in part by Natural Science Foundation of China, under Grant U1736114.

Publisher
Springer Nature

Conference/Event Name
13th International Conference on Network and System Security, NSS 2019

DOI
10.1007/978-3-030-36938-5_26

Additional Links
http://link.springer.com/10.1007/978-3-030-36938-5_26

Permanent link to this record