English
Related papers

Related papers: POSE: Practical Off-chain Smart Contract Execution

200 papers

A smart contract on a blockchain cannot keep a secret because its data is replicated on all nodes in a network. To remedy this problem, it has been suggested to combine blockchains with trusted execution environments (TEEs), such as Intel…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-23 Marcus Brandenburger , Christian Cachin , Rüdiger Kapitza , Alessandro Sorniotti

Public key infrastructures (PKIs) are one of the main building blocks for securing communications over the Internet. Currently, PKIs are under the control of centralized authorities, which is problematic as evidenced by numerous incidents…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-05 Christos Patsonakis , Katerina Samari , Aggelos Kiayias , Mema Roussopoulos

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

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

Deploying mobile edge computing (MEC) server in the mobile blockchain-enabled Internet of things (IoT) system is a promising approach to improve the system performance, however, it imposes a significant challenge on the trust of MEC server.…

Information Theory · Computer Science 2019-11-20 Yiping Zuo , Shi Jin , Shengli Zhang

Blockchain benefits are due to immutability, replication, and storage-and-execution of smart contracts on the blockchain. However, the benefits come at increased costs due to the blockchain size and execution. We address three fundamental…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-04 Christian Gang Liu

As of July 15, 2023, Ethererum, which is a Proof-of-Stake (PoS) blockchain [1] has around 410 Billion USD in total assets on chain (popularly referred to as total-value-locked, TVL) but has only 33 Billion USD worth of ETH staked in…

Cryptography and Security · Computer Science 2024-01-12 Soubhik Deb , Robert Raynor , Sreeram Kannan

Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-24 Enrique Fynn , Alysson Bessani , Fernando Pedone

The industrial market continuously needs reliable solutions to secure autonomous systems. Especially as these systems become more complex and interconnected, reliable security solutions are becoming increasingly important. One promising…

Cryptography and Security · Computer Science 2025-06-30 Önder Gürcan

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-12 Martin Westerkamp

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

With the development of Ethereum, numerous blockchains compatible with Ethereum's execution environment (i.e., Ethereum Virtual Machine, EVM) have emerged. Developers can leverage smart contracts to run various complex decentralized…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-24 Chaoyue Yin , Mingzhe Li , Jin Zhang , You Lin , Qingsong Wei , Siow Mong Rick Goh

Proliferation of IoT devices in society demands a renewed focus on securing the use and maintenance of such systems. IoT-based systems will have a great impact on society and therefore such systems must have guaranteed resilience. We…

Cryptography and Security · Computer Science 2020-07-07 John Wickström , Magnus Westerlund , Göran Pulkkis

Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gigantic program" whose behaviors are determined by the…

Cryptography and Security · Computer Science 2025-08-08 Thomas Ball , Nikolaj S. Bjørner , Ashley J. Chen , Shuo Chen , Yang Chen , Zhongxin Guo , Tzu-Han Hsu , Peng Liu , Nanqing Luo

Cryptocurrency has seen an explosive growth in recent years, thanks to the evolvement of blockchain technology and its economic ecosystem. Besides Bitcoin, thousands of cryptocurrencies have been distributed on blockchains, while hundreds…

Cryptography and Security · Computer Science 2020-06-12 Ru Ji , Ningyu He , Lei Wu , Haoyu Wang , Guangdong Bai , Yao Guo

Blockchain technology promises to revolutionize manufacturing industries. For example, several supply-chain use-cases may benefit from transparent asset tracking and automated processes using smart contracts. Several real-world deployments…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-24 Christina Müller , Marcus Brandenburger , Christian Cachin , Pascal Felber , Christian Göttel , Valerio Schiavoni

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

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

The widespread recognition of the smart contracts has established their importance in the landscape of next generation blockchain technology. However, writing a correct smart contract is notoriously difficult. Moreover, once a…

Software Engineering · Computer Science 2019-11-26 Xinming Wang , Zhijian Xie , Jiahao He , Gansen Zhao , Nie Ruihua

In recent years, smart contracts have suffered major exploits, costing millions of dollars. Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they cannot be modified once deployed. Though various tools have…

Cryptography and Security · Computer Science 2020-03-16 Christof Ferreira Torres , Mathis Baden , Robert Norvill , Beltran Borja Fiz Pontiveros , Hugo Jonker , Sjouke Mauw