arrow
Return

An Efficient Smart Contract Vulnerability Detector Based on Semantic Contract Graphs Using Approximate Graph Matching

delete2023-12-15
delete3
PRE
AI
Z
Zhang, Yingli
J
Jiali Ma
X
Xin Liu
G
Guodong Ye
Q
Qun Jin
J
Jianhua Ma
Q
Qingguo Zhou *
DOI:10.1109/JIOT.2023.3294496delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
The Internet of Things (IoT) has become a focus of information infrastructure development in recent years. The smart blockchain can provide various solutions for trust, security, and privacy (TSP) challenges to protect IoT data, and smart contracts are the foundation of blockchain intelligence, and greatly enhance the ability of smart blockchain to solve TSP problems. So, the security of smart contracts must be addressed. We propose an efficient smart contract vulnerability detector to improve the safety of smart contracts. It comprises a graph extraction method and a complete vulnerability detection process. The graph extraction method consists of vulnerability pattern extraction and a graph generation process. The vulnerability detection process first uses the approximate graph matching algorithm to select representative SCGraphs from the data set to build vulnerability SCGraph libraries. Second, determine whether the contract contains vulnerabilities by calculating the similarity between the SCGraphs generated from the contracts to be detected and the SCGraphs in the vulnerability library. Experiments show that our approach achieves an inspiring high detection rate and is the fastest among existing vulnerability detection tools, which indicates that it can provide good vulnerability detection for smart contracts.
Keywords:
Approximate graph matching
semantic contract graph
smart blockchain
smart contracts
vulnerability

Journal

IEEE Internet of Things Journal cover
IEEE Internet of Things Journal
IF:
8.9
Papers:
1.4W
Citations:
7.8W

Organization

W
Waseda University
Scholars:
1.0W
Papers: 8.7K
Citations: 8.3K
H
Hosei University
Scholars:
953
Papers: 1.1K
Citations: 718
L
lanzhou university
Scholars:
4.2W
Papers: 2.6W
Citations: 27
researcher View more organizations
Cited Papers

Cited Papers

Orientational Dynamics of theSc3Trimer inC82: An EPR Study
err1994-12-19
err0
errOAAI
errP. H. M. van Loosdrecht; R. D. Johnson; M. S. de Vries; C. -H. Kiang; D. S. Bethune; H. C. Dorn; P. Burbank; S. Stevenson
errShare
errSave
Ultrafast Absorption Changes of the Lhcii Carotenoids upon Selective Excitation of the Chlorophylls
err1998-01-01
err0
PREAI
errC. C. Gradinaru; I. H. M. van Stokkum; R. van Grondelle; H. van Amerongen
errShare
errSave
Combining Graph Neural Networks With Expert Knowledge for Smart Contract Vulnerability Detection
err2021-01-01
err132
errOAAI
errLiu, Zhenguang; Qian, Peng; Wang, Xiaoyang; Zhuang, Yuan; Qiu, Lin; Wang, Xun
errShare
errSave
errShare
errSave
errShare
errSave
Motion of Scandium Ions in Sc2C84 Observed by 45Sc Solution NMR
err1996-06-06
err0
PREAI
errYoko Miyake; Shinzo Suzuki; Yasuhiko Kojima; Koichi Kikuchi; Kaoru Kobayashi; Shigeru Nagase; Masatsune Kainosho; Yohji Achiba; Yutaka Maniwa; Keith Fisher
errShare
errSave
Hierarchical Adversarial Attacks Against Graph-Neural-Network-Based IoT Network Intrusion Detection System
err2022-06-15
err156
errOAAI
errZhou, Xiaokang; Liang, Wei; Li, Weimin; Yan, Ke; Shimizu, Shohei; Wang, Kevin I-Kai
errShare
errSave
researcher View more