English
Related papers

Related papers: Blockchain-based Smart Contracts: A Systematic Map…

200 papers

Blockchain platforms and smart contracts are vulnerable to security breaches. Security breaches of smart contracts have led to huge financial losses in terms of cryptocurrencies and tokens. In this paper, we present a systematic survey of…

Cryptography and Security · Computer Science 2022-12-16 S. Vani , M. Doshi , A. Nanavati , A. Kundu

The blockchain technology has been used for recording state transitions of smart contracts - decentralized applications that can be invoked through external transactions. Smart contracts gained popularity and accrued hundreds of billions of…

Cryptography and Security · Computer Science 2023-05-10 Nikolay Ivanov , Chenning Li , Qiben Yan , Zhiyuan Sun , Zhichao Cao , Xiapu Luo

While the blockchain-based smart contract has become a hot topic of research over the last decade, not the least in the context of Industry 4.0, it now has well-known legal and technical shortcomings that currently prohibit its real-world…

Software Engineering · Computer Science 2024-08-13 Emanuel Palm , Ulf Bodin , Olov Schelén

Blockchain-based platforms are emerging as a transformative technology that can provide reliability, integrity, and auditability without trusted entities. One of the key features of these platforms is the trustworthy decentralized execution…

Computers and Society · Computer Science 2020-01-20 Afiya Ayman , Shanto Roy , Amin Alipour , Aron Laszka

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However,…

Computers and Society · Computer Science 2018-01-10 Munindar P. Singh , Amit K. Chopra

Formal verification entails testing software to ensure it operates as specified. Smart contracts are self-executing contracts with the terms of the agreement directly written into lines of code. They run on blockchain platforms and…

Software Engineering · Computer Science 2025-10-22 Rene Davila , Everardo Barcenas , Rocio Aldeco-Perez

Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, storing them into sequential blocks of which integrity is…

Software Engineering · Computer Science 2024-03-13 Francesco Salzano , Simone Scalabrino , Rocco Oliveto , Remo Pareschi

With the rise in using immature smart contract programming languages to build a decentralized application, more vulnerabilities have been introduced to the Blockchain and were the main reasons behind critical financial losses. Moreover, the…

Cryptography and Security · Computer Science 2023-12-04 Oualid Zaazaa , Hanan El Bakkali

Smart Contracts are commonly considered to be an important component or even a key to many business solutions in an immense variety of sectors and promises to securely increase their individual efficiency in an ever more digitized…

Computational Finance · Quantitative Finance 2021-03-16 Elizaveta Zinovyeva , Raphael C. G. Reule , Wolfgang Karl Härdle

Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart contracts, we wondered how software practitioners build…

Software Engineering · Computer Science 2021-03-30 Zhiyuan Wan , Xin Xia , David Lo , Jiachi Chen , Xiapu Luo , Xiaohu Yang

The utilisation of blockchain has moved beyond digital currency to other fields such as health, the Internet of Things, and education. In this paper, we present a systematic mapping study to collect and analyse relevant research on…

Computers and Society · Computer Science 2020-06-26 B. Awaji , E. Solaiman , A. Albshri

In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable nature, addresses these challenges by reducing intermediary…

Cryptography and Security · Computer Science 2025-07-23 Lambard Maxence , Bertelle Cyrille , Duvallet Claude

Smart contracts with external data are crucial for functionality but pose security and reliability concerns. Statistical and quantitative studies on this interaction are scarce. To address this gap, we analyzed 10,500 smart contracts,…

Cryptography and Security · Computer Science 2026-02-10 Yishun Wang , Xiaoqi Li , Shipeng Ye , Lei Xie , Ju Xing

In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact…

Cryptography and Security · Computer Science 2021-06-29 Markus Nissl , Emanuel Sallinger , Stefan Schulte , Michael Borkowski

Blockchain is relatively a new area of research. However, a surge of research studies on the blockchain has taken place in recent years. These research studies have mostly focused on designing and developing conceptual frameworks to build…

Software Engineering · Computer Science 2020-04-28 Iyolita Islam , Kazi Md. Munim , Shahrima Jannat Oishwee , A. K. M. Najmul Islam , Muhammad Nazrul Islam

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

The hype about Bitcoin has overrated the potential of smart contracts deployed on-blockchains (on-chains) and underrated the potential of smart contracts deployed on-Trusted Third Parties (on-TTPs). As a result, current research and…

Networking and Internet Architecture · Computer Science 2020-10-27 Carlos Molina-Jimenez , Ioannis Sfyrakis , Linmao Song , Hazem Danny Al Nakib , Jon Crowcroft

Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operation of decentralized applications. Despite their potential,…

Software Engineering · Computer Science 2026-03-25 Gerardo Iuliano , Dario Di Nucci

Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-12 Zhiyuan Wei , Xianhao Zhang , Jing Sun , Zijian Zhang , Liehuang Zhu

Blockchain technologies, such as smart contracts, present a unique interface for machine-to-machine communication that provides a secure, append-only record that can be shared without trust and without a central administrator. We study the…

Computers and Society · Computer Science 2019-01-09 Yuichi Hanada , Luke Hsiao , Philip Levis