English
Related papers

Related papers: An Overview on Smart Contracts: Challenges, Advanc…

200 papers

Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart…

Software Engineering · Computer Science 2020-05-21 Zhipeng Gao , Lingxiao Jiang , Xin Xia , David Lo , John Grundy

New technologies, such as blockchain, are designed to address various system weaknesses, particularly those related to security. Blockchain can enhance numerous aspects of traditional banking systems by transforming them into digital,…

Cryptography and Security · Computer Science 2026-03-24 Shkelqim Sherifi

Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of…

Logic in Computer Science · Computer Science 2022-07-15 Martán Ceresa , César Sánchez

Smart contracts (SC) are software codes which reside and run over a blockchain. The code can be written in different languages with the common purpose of implementing various kinds of transactions onto the hosting blockchain, They are ruled…

Software Engineering · Computer Science 2018-02-08 Roberto Tonelli , Giuseppe Destefanis , Michele Marchesi , Marco Ortu

Blockchain was always associated with Bitcoin, cryptocurrencies, and digital asset trading. However, its benefits are far beyond that. It supports technologies like the Internet-of-Things (IoT) to pave the way for futuristic smart…

Cryptography and Security · Computer Science 2022-03-18 Maad Ebrahim , Abdelhakim Hafid , Etienne Elie

With the increased energy demands of the 21st century, there is a clear need for developing a more sustainable method of energy generation, distribution, and transmission. The popularity of Smart Grid continues to grow as it presents its…

Systems and Control · Electrical Eng. & Systems 2024-01-25 Jadyn Powell , Alex McCafferty-Leroux , Waleed Hilal , Stephen Andrew Gadsden

Innovation in the world of today is mainly driven by software. Companies need to continuously rejuvenate their product portfolios with new features to stay ahead of their competitors. For example, recent trends explore the application of…

Software Engineering · Computer Science 2018-09-25 Christian Berger , Birgit Penzenstadler , Olaf Drögehorn

In the past decade, blockchain has shown a promising vision greatly to build the trust without any powerful third party in a secure, decentralized and salable manner. However, due to the wide application and future development from…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-11 Bin Cao , Zixin Wang , Long Zhang , Daquan Feng , Mugen Peng , Lei Zhang

Today's blockchains suffer from low throughput and high latency, which impedes their widespread adoption of more complex applications like smart contracts. In this paper, we propose a novel paradigm for smart contract execution. It…

Cryptography and Security · Computer Science 2023-06-09 Jian Liu , Peilun Li , Raymond~Cheng , N. Asokan , Dawn Song

Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing platforms allow such processes to be modeled using high-level notations and compiled into smart contracts that…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

Electronic systems tend to simplify the tedious traditional scheme and basically focuses on the platform design and process organization. The integrity of the output of an automated system is not left behind but the possibility of internal…

Cryptography and Security · Computer Science 2019-11-14 August Thio-ac , Alfred Keanu Serut , Rayn Louise Torrejos , Keenan Dave Rivo , Jessica Velasco

Since its inception, the blockchain technology has shown promising application prospects. From the initial cryptocurrency to the current smart contract, blockchain has been applied to many fields. Although there are some studies on the…

Cryptography and Security · Computer Science 2020-11-05 Xiaoqi Li , Peng Jiang , Ting Chen , Xiapu Luo , Qiaoyan Wen

Blockchain is a technological innovation that has the potential to radically change our financial markets by providing an alternative management approach to the "promise market", which is the foundation of our financial systems. Its…

General Finance · Quantitative Finance 2025-03-25 Nicola Borri

The Bitcoin white paper introduced blockchain technology, enabling trustful transactions without intermediaries. Smart contracts emerged with Ethereum and blockchains expanded beyond cryptocurrency, applying to auctions, crowdfunding and…

Cryptography and Security · Computer Science 2025-01-08 Aldenio Burgos , Eduardo Alchieri

In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency. We examine two real-world examples from the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-21 Ilya Sergey , Aquinas Hobor

The internet of things (IoT) and other emerging ubiquitous technologies are supporting the rapid spread of smart systems, which has underlined the need for safe, open, and decentralized data storage solutions. With its inherent…

Networking and Internet Architecture · Computer Science 2024-08-13 Naseem Alsadi , Syed Zaidi , Mankaran Rooprai , Stephen A. Gadsden , John Yawney

Blockchain has received much attention recently, due to its promises of verifiable, permanent, decentralized, and efficient data handling. In 2017-2019 blockchain and associated technologies such as smart contracts has progressed beyond…

Computers and Society · Computer Science 2020-06-11 Artyom Kosmarski

Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require…

Cryptography and Security · Computer Science 2025-10-24 To-Wen Liu , Matthew Green

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they…

Cryptography and Security · Computer Science 2026-02-03 Xiaoqi Li , Zongwei Li , Wenkai Li , Yuqing Zhang , Xin Wang

The trade-off of secrecy is the difficulty of verification. This trade-off means that contracts must be kept private, yet their compliance needs to be verified, which we call the secrecy-verifiability paradox. However, the existing smart…

Cryptography and Security · Computer Science 2022-12-06 Ha-Thanh Nguyen