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 条
  • [21] Transforming Public Procurement Contracts Into Smart Contracts
    Debono, Pauline
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY PROJECT MANAGEMENT, 2019, 10 (02) : 16 - 28
  • [22] The Treewidth of Smart Contracts
    Chatterjee, Krishnendu
    Goharshady, Amir Kafshdar
    Goharshady, Ehsan Kafshdar
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 400 - 408
  • [23] Declarative Smart Contracts
    Chen, Haoxian
    Whitters, Gerald
    Amiri, Mohammad Javad
    Wang, Yuepeng
    Loo, Boon Thau
    PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 281 - 293
  • [24] Cryptocurrencies are (smart) contracts
    Geiregat, Simon
    COMPUTER LAW & SECURITY REVIEW, 2018, 34 (05) : 1144 - 1149
  • [25] The Limits of Smart Contracts
    Frankenreiter, Jens
    JOURNAL OF INSTITUTIONAL AND THEORETICAL ECONOMICS-ZEITSCHRIFT FUR DIE GESAMTE STAATSWISSENSCHAFT, 2019, 175 (01): : 149 - 162
  • [26] Standardizing Smart Contracts
    Capocasale, Vittorio
    Perboli, Guido
    IEEE ACCESS, 2022, 10 : 91203 - 91212
  • [27] Smart Contracts in the Cloud
    Bathen, Luis Angel D.
    Jadav, Divyesh
    SILICON VALLEY CYBERSECURITY CONFERENCE, SVCC 2022, 2022, 1683 : 74 - 89
  • [28] Smart Contracts on the Move
    Fynn, Enrique
    Bessani, Alysson
    Pedone, Fernando
    2020 50TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2020), 2020, : 233 - 244
  • [29] Blockchain and Smart Contracts
    Abdelhamid, Manar
    Hassan, Ghada
    PROCEEDINGS OF 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND INFORMATION ENGINEERING (ICSIE 2019), 2019, : 91 - 95
  • [30] Digital assets rights management through smart legal contracts and smart contracts
    Ferro, Enrico
    Saltarella, Marco
    Rotondi, Domenico
    Giovanelli, Marco
    Corrias, Giacomo
    Moncada, Roberto
    Cavallaro, Andrea
    Favenza, Alfredo
    BLOCKCHAIN-RESEARCH AND APPLICATIONS, 2023, 4 (03):
12345