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.
| Original language | English (US) |
|---|---|
| Title of host publication | Network and System Security |
| Publisher | Springer International Publishing |
| Pages | 433-442 |
| Number of pages | 10 |
| ISBN (Print) | 9783030369378 |
| DOIs | |
| State | Published - Dec 10 2019 |
Bibliographical note
KAUST Repository Item: Exported on 2020-10-01Acknowledgements: The work reported in this paper was supported in part by Natural Science Foundation of China, under Grant U1736114.