SODA: A Generic Online Detection Framework for Smart Contracts

被引:67
|
作者
Chen, Ting [1 ]
Cao, Rong [1 ]
Li, Ting [1 ]
Luo, Xiapu [2 ]
Gu, Guofei [3 ]
Zhang, Yufei [1 ]
Liao, Zhou [1 ]
Zhu, Hang [1 ]
Chen, Gang [4 ]
He, Zheyuan [1 ]
Tang, Yuxing [1 ]
Lin, Xiaodong [5 ]
Zhang, Xiaosong [1 ]
机构
[1] Univ Elect Sci & Technol China, Ctr Cybersecur, Chengdu, Peoples R China
[2] Hong Kong Polytech Univ, Hong Kong, Peoples R China
[3] Texas A&M Univ, SUCCESS Lab, College Stn, TX 77843 USA
[4] Chengdu Kongdi Technol Inc, Chengdu, Peoples R China
[5] Univ Guelph, Guelph, ON, Canada
基金
美国国家科学基金会; 中国国家自然科学基金; 国家重点研发计划;
关键词
D O I
10.14722/ndss.2020.24449
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Smart contracts have become lucrative and profitable targets for attackers because they can hold a great amount of money. Unfortunately, existing offline approaches for discovering the vulnerabilities in smart contracts or checking the correctness of smart contracts cannot conduct online detection of attacking transactions. Besides, existing online approaches only focus on specific attacks and cannot be easily extended to detect other attacks. Moreover, developing a new online detection system for smart contracts from scratch is time-consuming and requires deep understanding of blockchain internals, thus making it difficult to quickly implement and deploy mechanisms to detect new attacks. In this paper, we propose a novel generic online detection framework named SODA for smart contracts on any blockchains that support Ethereum virtual machine (EVM). SODA distinguishes itself from existing online approaches through its capability, efficiency, and compatibility. First, SODA empowers users to easily develop apps for detecting various attacks online (i.e., when attacks happen) by separating information collection and attack detection with layered design. At the higher layer, SODA provides unified interfaces to develop detection apps against various attacks. At the lower layer, SODA instruments EVM to collect all primitive information necessary to detect various attacks and constructs 11 kinds of structural information for the ease of developing apps. Based on SODA, users can develop new apps in a few lines of code without modifying EVM. Second, SODA is efficient, because we design on-demand information retrieval to reduce the overhead of information collection and adopt dynamic linking to eliminate the overhead of inter-process communication. Such design allows users to develop detection apps using any programming languages that can generate dynamic link libraries. Third, since more and more blockchains adopt EVM as smart contract runtime, SODA can be easily migrated to such blockchains without modifying apps. Based on SODA, we develop 8 detection apps to detect the attacks exploiting major vulnerabilities in smart contracts, and integrate SODA (including all apps) into 3 popular blockchains: Ethereum, Expanse and Wanchain. The extensive experimental results demonstrate the effectiveness and efficiency of SODA and our detection apps.
引用
收藏
页数:17
相关论文
共 50 条
  • [31] A Generic Evaluation Framework of Smart Manufacturing Systems
    Mahmoud, Moamin A.
    Grace, Jennifer
    FIFTH INFORMATION SYSTEMS INTERNATIONAL CONFERENCE, 2019, 161 : 1292 - 1299
  • [32] A Legal Framework for Using Smart Contracts in Consumer Contracts: Machines as Servants, Not Masters
    Durovic, Mateja
    Willett, Chris
    MODERN LAW REVIEW, 2023, 86 (06): : 1390 - 1421
  • [33] Interpretation of Contracts and Smart Contracts: Smart Interpretation or Interpretation of Smart Contracts?
    Cannarsa, Michel
    EUROPEAN REVIEW OF PRIVATE LAW, 2018, 26 (06): : 773 - 785
  • [34] A framework for smart construction contracts using BIM and blockchain
    Mohamed A. Kamel
    Emad S. Bakhoum
    Mohamed M. Marzouk
    Scientific Reports, 13
  • [35] Integrating smart contracts into the legal framework of Saudi Arabia
    Alhejaili, Mohammad Omar Mohammad
    INTERNATIONAL JOURNAL OF LAW AND MANAGEMENT, 2025, 67 (02) : 230 - 248
  • [36] SolOSphere: A Framework for Gas Optimization in Solidity Smart Contracts
    Khanzadeh, Sourena
    Alalfi, Manar H.
    2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING-COMPANION, SANER-C 2024, 2024, : 35 - 45
  • [37] The Shariah Framework for Smart Contracts, an Original Analytical Study
    Saleh, Abdulmajid Obaid Hasan
    Halawani, Alaa Saleh
    Qatawneh, Mohammad Abdelhamid Salem
    SUSTAINABLE FINANCE, DIGITALIZATION AND THE ROLE OF TECHNOLOGY, ICBT 2021, 2023, 487 : 1033 - 1046
  • [38] SolSaviour: A Defending Framework for Deployed Defective Smart Contracts
    Li, Zecheng
    Zhou, Yu
    Guo, Songtao
    Xiao, Bin
    37TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, ACSAC 2021, 2021, : 748 - 760
  • [39] A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
    Grishchenko, Ilya
    Maffei, Matteo
    Schneidewind, Clara
    PRINCIPLES OF SECURITY AND TRUST, POST 2018, 2018, 10804 : 243 - 269
  • [40] A framework for smart construction contracts using BIM and blockchain
    Kamel, Mohamed A. A.
    Bakhoum, Emad S. S.
    Marzouk, Mohamed M. M.
    SCIENTIFIC REPORTS, 2023, 13 (01)