BibTex format
@unpublished{Harz:2018,
author = {Harz, D and Knottenbelt, W},
title = {Towards Safer Smart Contracts: A Survey of Languages and Verification Methods},
url = {http://arxiv.org/abs/1809.09805v4},
year = {2018}
}
Publications
Citation
RIS format (EndNote, RefMan)
TY - UNPB
AB - With a market capitalisation of over USD 205 billion in just under ten years,public distributed ledgers have experienced significant adoption. Apart fromnovel consensus mechanisms, their success is also accountable to smartcontracts. These programs allow distrusting parties to enter agreements thatare executed autonomously. However, implementation issues in smart contractscaused severe losses to the users of such contracts. Significant efforts aretaken to improve their security by introducing new programming languages andadvance verification methods. We provide a survey of those efforts in twoparts. First, we introduce several smart contract languages focussing onsecurity features. To that end, we present an overview concerning paradigm,type, instruction set, semantics, and metering. Second, we examine verificationtools and methods for smart contract and distributed ledgers. Accordingly, weintroduce their verification approach, level of automation, coverage, andsupported languages. Last, we present future research directions includingformal semantics, verified compilers, and automated verification.
AU - Harz,D
AU - Knottenbelt,W
PY - 2018///
TI - Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
UR - http://arxiv.org/abs/1809.09805v4
UR - http://hdl.handle.net/10044/1/83769
ER -