English
Related papers

Related papers: Implementation of Smart Contracts Using Hybrid Arc…

200 papers

A smart grid is an important application in Industry 4.0 with a lot of new technologies and equipment working together. Hence, sensitive data stored in the smart grid is vulnerable to malicious modification and theft. This paper proposes a…

Currently, blockchain proposals are being adopted to solve security issues, such as data integrity, resilience, and non-repudiation. To improve certain aspects, e.g., energy consumption and latency, of traditional blockchains, different…

Cryptography and Security · Computer Science 2020-05-05 Henry C. Nunes , Roben C. Lunardi , Avelin F. Zorzo , Regio A. Michelin , Salil S. Kanhere

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

Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and…

Cryptography and Security · Computer Science 2023-06-09 Monika di Angelo , Thomas Durieux , João F. Ferreira , Gernot Salzer

Integrating on-chain and off-chain data storage for decentralised and distributed information systems, such as blockchain, presents specific challenges for providing transparency of data governance and ensuring data integrity through…

Cryptography and Security · Computer Science 2022-07-04 Shoufeng Cao , Thomas Miller , Marcus Foth , Warwick Powell , Xavier Boyen , Charles Turner-Morris

Smart contract, one of the most successful applications of blockchain, is taking the world by storm, playing an essential role in the blockchain ecosystem. However, frequent smart contract security incidents not only result in tremendous…

Cryptography and Security · Computer Science 2022-09-14 Peng Qian , Zhenguang Liu , Qinming He , Butian Huang , Duanzheng Tian , Xun Wang

Although the emergence of the programmable smart contract makes blockchain systems easily embrace a wider range of industrial areas, how to execute smart contracts efficiently becomes a big challenge nowadays. Due to the existence of…

Databases · Computer Science 2019-05-20 Shuaifeng Pang , Xiaodong Qi , Zhao Zhang , Cheqing Jin , Aoying Zhou

Smart contracts are widely utilized in cross-chain interactions, where their results are transmitted from one blockchain (the producer blockchain) to another (the consumer blockchain). Unfortunately, the consumer blockchain often accepts…

Cryptography and Security · Computer Science 2024-08-20 Hong Su

Smart contracts are applications that execute on blockchains. Today they manage billions of dollars in value and motivate visionary plans for pervasive blockchain deployment. While smart contracts inherit the availability and other security…

Cryptography and Security · Computer Science 2019-08-28 Raymond Cheng , Fan Zhang , Jernej Kos , Warren He , Nicholas Hynes , Noah Johnson , Ari Juels , Andrew Miller , Dawn Song

An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23…

Software Engineering · Computer Science 2020-01-13 Alex Groce , Josselin Feist , Gustavo Grieco , Michael Colburn

Blockchain and smart contracts have emerged as revolutionary technologies transforming distributed computing. While platform evolution and smart contracts' inherent immutability necessitate migrations both across and within chains,…

Cryptography and Security · Computer Science 2025-05-16 Tahrim Hossain , Faisal Haque Bappy , Tarannum Shaila Zaman , Raiful Hasan , Tariqul Islam

The main problem faced by smart contract platforms is the amount of time and computational power required to reach consensus. In a classical blockchain model, each operation is in fact performed by each node, both to update the status and…

Cryptography and Security · Computer Science 2021-11-11 Alessio Meneghetti , Tommaso Parise , Massimiliano Sala , Daniele Taufer

Recent technologies such as inter-ledger payments, non-fungible tokens, and smart contracts are all fruited from the ongoing development of Distributed Ledger Technologies. The foreseen trend is that they will play an increasingly visible…

Cryptography and Security · Computer Science 2025-11-12 Lucian Trestioreanu , Wazen Shbair , Flaviene Scheidt de Cristo , Radu State

In this paper, we present the first large-scale empirical study of smart contract dependencies, analyzing over 41 million contracts and 11 billion interactions on Ethereum up to December 2024. Our results yield four key insights: (1) 59% of…

Software Engineering · Computer Science 2025-04-03 Monica Jin , Raphina Liu , Martin Monperrus

This paper presents a smart contract-based solution for autonomous administration of construction progress payments. It bridges the gap between payments (cash flow) and the progress assessments at job sites (product flow) enabled by reality…

Cryptography and Security · Computer Science 2021-03-03 Hesam Hamledari , Martin Fischer

Inspired by Bitcoin, many different kinds of cryptocurrencies based on blockchain technology have turned up on the market. Due to the special structure of the blockchain, it has been deemed impossible to directly trade between traditional…

Cryptography and Security · Computer Science 2020-05-08 Hangyu Tian , Kaiping Xue , Shaohua Li , Jie Xu , Jianqing Liu , Jun Zhao

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be…

Software Engineering · Computer Science 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

As more and more data is collected for various reasons, the sharing of such data becomes paramount to increasing its value. Many applications ranging from smart cities to personalized health care require individuals and organizations to…

Computers and Society · Computer Science 2018-05-01 Kevin Liu , Harsh Desai , Lalana Kagal , Murat Kantarcioglu

The immutability of smart contracts on blockchain platforms like Ethereum promotes security and trustworthiness but presents challenges for updates, bug fixes, or adding new features post-deployment. These limitations can lead to…

Software Engineering · Computer Science 2025-04-04 Ilham Qasse , Isra M. Ali , Nafisa Ahmed , Mohammad Hamdaqa , Björn Þór Jónsson

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