Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond

被引：31
作者：
Azzopardi, Shaun [1 ]
Ellul, Joshua [1 ,2 ]
Pace, Gordon J. [1 ,2 ]
机构：
[1] Univ Malta, Dept Comp Sci, Msida, Malta
[2] Univ Malta, Ctr Distributed Ledger Technol, Msida, Malta
来源：
RUNTIME VERIFICATION (RV 2018) | 2018年 / 11237卷
关键词：
ORIENTED PROPERTIES; RUNTIME; SPECIFICATIONS;
D O I：
10.1007/978-3-030-03769-7_8
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Smart contracts present new challenges for runtime verification techniques, due to features such as immutability of the code and the notion of gas that must be paid for the execution of code. In this paper we present the runtime verification tool CONTRACTLARVA and outline its use in instrumenting monitors in smart contracts written in Solidity, for the Ethereum blockchain-based distributed computing platform. We discuss the challenges faced in doing so, and how some of these can be addressed, using the ERC-20 token standard to illustrate the techniques. We conclude by proposing a list of open challenges in smart contract and blockchain monitoring.
引用
收藏
页码：113 / 137
页数：25
相关论文
共 32 条
[1]  
Ahrendt W., 2019, PRINCIPLED SOFTWARE, P1, DOI [10.1007/978-3-319-98047-8_1, DOI 10.1007/978-3-319-98047-8_1]
[2]   Verifying data- and control-oriented properties combining static and runtime verification: theory and tools [J].
Ahrendt, Wolfgang ;
Chimento, Jesus Mauricio ;
Pace, Gordon J. ;
Schneider, Gerardo .
FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (01) :200-265
[3]  
Amani S., 2018, P 7 ACM SIGPLAN INT, DOI [10.1145/3167084, DOI 10.1145/3167084]
[4]   A Survey of Attacks on Ethereum Smart Contracts (SoK) [J].
Atzei, Nicola ;
Bartoletti, Massimo ;
Cimoli, Tiziana .
PRINCIPLES OF SECURITY AND TRUST (POST 2017), 2017, 10204 :164-186
[5]  
Bartocci Ezio, 2018, Lectures on Runtime. Verification Introductory and Advanced Topics. LNCS 10457, P1, DOI 10.1007/978-3-319-75632-5_1
[6]   Formal Verification of Smart Contracts Short Paper [J].
Bhargavan, Karthikeyan ;
Delignat-Lavaud, Antoine ;
Fournet, Cedric ;
Gollamudi, Anitha ;
Gonthier, Georges ;
Kobeissi, Nadim ;
Kulatova, Natalia ;
Rastogi, Aseem ;
Sibut-Pinote, Thomas ;
Swamy, Nikhil ;
Zanella-Beguelin, Santiago .
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16), 2016, :91-96
[7]  
Bodden E, 2007, LECT NOTES COMPUT SC, V4609, P525
[8]  
Bodden E, 2010, LECT NOTES COMPUT SC, V6418, P183, DOI 10.1007/978-3-642-16612-9_15
[9]  
Colombo C., 2013, ECEASST, V58
[10]  
Colombo C., 2018, LNCS, V11247
1234