An Efficient Vulnerability Detection Model for Ethereum Smart Contracts
Embargo End Date2020-12-10
Permanent link to this recordhttp://hdl.handle.net/10754/661849
MetadataShow full item record
AbstractSmart 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.
CitationSong, 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
SponsorsThe work reported in this paper was supported in part by Natural Science Foundation of China, under Grant U1736114.
Conference/Event name13th International Conference on Network and System Security, NSS 2019