Blockchain smart contracts: Applications, challenges, and future trends

SN Khan, F Loukil, C Ghedira-Guegan… - Peer-to-peer Networking …, 2021 - Springer
In recent years, the rapid development of blockchain technology and cryptocurrencies has
influenced the financial industry by creating a new crypto-economy. Then, next-generation …

Smart contract development: Challenges and opportunities

W Zou, D Lo, PS Kochhar, XBD Le, X **a… - IEEE transactions on …, 2019 - ieeexplore.ieee.org
Smart contract, a term which was originally coined to refer to the automation of legal
contracts in general, has recently seen much interest due to the advent of blockchain …

A survey on ethereum systems security: Vulnerabilities, attacks, and defenses

H Chen, M Pendleton, L Njilla, S Xu - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
Blockchain technology is believed by many to be a game changer in many application
domains. While the first generation of blockchain technology (ie, Blockchain 1.0) is almost …

Security, performance, and applications of smart contracts: A systematic survey

S Rouhani, R Deters - IEEE Access, 2019 - ieeexplore.ieee.org
Blockchain is the promising technology of recent years, which has attracted remarkable
attention in both academic studies and practical industrial applications. The smart contract is …

A survey of smart contract formal specification and verification

P Tolmach, Y Li, SW Lin, Y Liu, Z Li - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

A survey on security verification of blockchain smart contracts

J Liu, Z Liu - IEEE access, 2019 - ieeexplore.ieee.org
A smart contract is an agreement between two or more parties, which is executed by the
computer code. The code does the execution without giving either party the ability to back …

Security threat mitigation for smart contracts: A comprehensive survey

N Ivanov, C Li, Q Yan, Z Sun, Z Cao, X Luo - ACM Computing Surveys, 2023 - dl.acm.org
The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

Ethereum smart contract security research: survey and future research opportunities

Z Wang, H **, W Dai, KKR Choo, D Zou - Frontiers of Computer Science, 2021 - Springer
Blockchain has recently emerged as a research trend, with potential applications in a broad
range of industries and context. One particular successful Blockchain technology is smart …

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

B Hu, Z Zhang, J Liu, Y Liu, J Yin, R Lu, X Lin - Patterns, 2021 - cell.com
Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

Legally enforceable smart-contract languages: A systematic literature review

V Dwivedi, V Pattanaik, V Deval, A Dixit… - ACM Computing …, 2021 - dl.acm.org
Smart contracts are a key component of today's blockchains. They are critical in controlling
decentralized autonomous organizations (DAO). However, smart contracts are not yet …