On the Need of Understanding the Failures of Smart Contracts

被引：1
|
作者：
Wang, Dabao [1 ]
Liu, Kui [2 ]
Li, Li [1 ]
机构：
[1] Monash Univ, Fac Informat Technol, Melbourne, Vic, Australia
[2] Nanjing Univ Aeronaut & Astronaut, Nanjing, Peoples R China
来源：
IEEE SOFTWARE | 2020年 / 37卷 / 05期
关键词：
Smart contract;
D O I：
10.1109/MS.2020.3003921
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
When the execution of smart contracts fails, the transaction will not be recorded to provide hints for analysts to improve their automated analyzers. To mitigate this, we present ExecuWatch to watch the execution of smart contracts and report the execution details.
引用
收藏
页码：49 / 54
页数：6
相关论文
共 50 条
  • [41] On the Formal Verification of Smart Contracts
    Davila, Rene
    Aldeco-Perez, Rocio
    Barcenas, Everardo
    2023 11TH INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING RESEARCH AND INNOVATION, CONISOFT 2023, 2023, : 18 - 24
  • [42] Smart Contracts Dumb Idea
    O'Hara, Kieron
    IEEE INTERNET COMPUTING, 2017, 21 (02) : 97 - 101
  • [43] Blockchain 2.0: Smart contracts
    Aggarwal, Shubhani
    Kumar, Neeraj
    BLOCKCHAIN TECHNOLOGY FOR SECURE AND SMART APPLICATIONS ACROSS INDUSTRY VERTICALS, 2021, 121 : 301 - 322
  • [44] Analyzing Smart Contracts With MadMax
    Livshits, Benjamin
    COMMUNICATIONS OF THE ACM, 2020, 63 (10) : 86 - 86
  • [45] Smart contracts: a remedial analysis
    Herian, Robert
    INFORMATION & COMMUNICATIONS TECHNOLOGY LAW, 2021, 30 (01) : 17 - 34
  • [46] Smart Contracts in the Global South
    Kshetri, Nir
    Besada, Hany
    Sharma, Ravi S.
    Rojas-Torres, Diana
    IT PROFESSIONAL, 2021, 23 (03) : 102 - 106
  • [47] Behavioral Simulation for Smart Contracts
    Beillahi, Sidi Mohamed
    Ciocarlie, Gabriela
    Emmi, Michael
    Enea, Constantin
    PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 470 - 486
  • [48] Blockchain Disruption and Smart Contracts
    Cong, Lin William
    He, Zhiguo
    REVIEW OF FINANCIAL STUDIES, 2019, 32 (05): : 1754 - 1797
  • [49] Understanding Cloud Failures
    Ko, Ryan K. L.
    Lee, Stephen S. G.
    Rajan, Veerappa
    IEEE SPECTRUM, 2012, 49 (12) : 84 - 84
  • [50] Adding Concurrency to Smart Contracts
    Dickerson, Thomas
    Gazzillo, Paul
    Herlihy, Maurice
    Koskinen, Eric
    PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 303 - 312
12345