English
Related papers

Related papers: Multi: a Formal Playground for Multi-Smart Contrac…

200 papers

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

Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites…

Cryptography and Security · Computer Science 2020-04-30 Ulrich Gallersdörfer , Florian Matthes

The increasing demand for scalable blockchain has driven research into parallel execution models for smart contracts. Crystality is a novel smart contract programming language designed for parallel Ethereum Virtual Machines (EVMs), enabling…

Programming Languages · Computer Science 2025-04-25 Ziyun Xu , Hao Wang , Meng Sun

Smart manufacturing systems involve a large number of interconnected devices resulting in massive data generation. Cloud computing technology has recently gained increasing attention in smart manufacturing systems for facilitating…

Cryptography and Security · Computer Science 2023-04-27 Aditya Pribadi Kalapaaking , Ibrahim Khalil , Mohammad Saidur Rahman , Abdelaziz Bouras

The cost of conducting multi-site clinical trials has significantly increased over time, with site monitoring, data management, and amendments being key drivers. Clinical trial data management approaches typically rely on a central…

Databases · Computer Science 2019-02-12 Olivia Choudhury , Noor Fairoza , Issa Sylla , Amar Das

Currently, inter-organizational process collaboration (IOPC) has been widely used in the design and development of distributed systems that support business process execution. Blockchain-based IOPC can establish trusted data sharing among…

Software Engineering · Computer Science 2023-03-17 Tianhong Xiong , Shangqing Feng , Maolin Pan , Yang Yu

There is an ongoing competition among blockchain technologies and the existence of one ultimate blockchain is impossible for many reasons. On the other hand, such variety can create difficulties in adoption, especially for the governments…

Cryptography and Security · Computer Science 2020-07-24 Oleksii Konashevych

This article conducts an extensive examination of the persisting challenges related to smart contract attacks within blockchain networks, with a particular focus on the reentrancy attack. It emphasizes the inherent vulnerabilities embedded…

Social and Information Networks · Computer Science 2023-10-05 Simone Casale-Brunet , Marco Mattavelli

Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such…

Cryptography and Security · Computer Science 2025-06-10 Mesut Ozdag

Blockchain has attracted a broad range of interests from start-ups, enterprises and governments to build next generation applications in a decentralized manner. Similar to cloud platforms, a single blockchain-based system may need to serve…

Software Engineering · Computer Science 2019-02-01 Ingo Weber , Qinghua Lu , An Binh Tran , Amit Deshmukh , Marek Gorski , Markus Strazds

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally,…

Cryptography and Security · Computer Science 2019-03-13 Theodosis Mourouzis , Jayant Tandon

The sharing economy is centralizing services, leading to misuses of the Internet. We can list growing damages of data hacks, global outages and even the use of data to manipulate their owners. Unfortunately, there is no decentralized web…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-24 Deepal Tennakoon , Yiding Hua , Vincent Gramoli

Modern distributed data management systems face a new challenge: how can autonomous, mutually-distrusting parties cooperate safely and effectively? Addressing this challenge brings up questions familiar from classical distributed systems:…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-16 Maurice Herlihy , Barbara Liskov , Liuba Shrira

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

A bug or error is a common problem that any software or computer program may encounter. It can occur from badly writing the program, a typing error or bad memory management. However, errors can become a significant issue if the unsafe…

Programming Languages · Computer Science 2019-08-29 Zeinab Nehai , François Bobot

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

This paper proposes an efficient framework to execute Smart Contract Transactions (SCTs) concurrently based on object semantics, using optimistic Single-Version Object-based Software Transactional Memory Systems (SVOSTMs) and Multi-Version…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-01-24 Parwat Singh Anjana , Hagit Attiya , Sweta Kumari , Sathya Peri , Archit Somani

We study a robust, i.e. in presence of malicious participants, multi-agent multi-armed bandit problem where multiple participants are distributed on a fully decentralized blockchain, with the possibility of some being malicious. The rewards…

Machine Learning · Computer Science 2024-07-29 Mengfan Xu , Diego Klabjan

Public blockchains have spurred the growing popularity of decentralized transactions and smart contracts, but they exhibit limitations on the transaction throughput, storage, and computation. To avoid transaction gridlock, public…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-13 Nikolay Ivanov , Qiben Yan , Qingyang Wang

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