English
Related papers

Related papers: A Concurrent Perspective on Smart Contracts

200 papers

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

Programming Languages · Computer Science 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

With technological advances and the establishment of e-commerce models, business challenges have shifted to online platforms. The promise of embedding self-executing and autonomous programs into blockchain technologies has attracted…

Computers and Society · Computer Science 2022-08-03 Kamal Kishor Singh

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

Smart contracts are self-executing programs on a blockchain to ensure immutable and transparent agreements without the involvement of intermediaries. Despite the growing popularity of smart contracts for many blockchain platforms like…

Software Engineering · Computer Science 2023-03-27 Taeyoung Kim , Yunhee Jang , Chanjong Lee , Hyungjoon Koo , Hyoungshick Kim

Blockchains are still perceived chiefly as a new technology. But each blockchain is also a community and a social experiment, built around social consensus. Here I discuss three examples showing how collective intelligence can help, threat…

Physics and Society · Physics 2021-07-13 Andrea Baronchelli

Blockchain emerged as a solution for data integrity, non-repudiation, and availability in different applications. Data sensitive scenarios, such as Health Care, can also benefit from these blockchain properties. Consequently, different…

In recent years, we have seen a great deal of both academic and practical interest in the topic of vulnerabilities in smart contracts, particularly those developed for the Ethereum blockchain. While most of the work has focused on detecting…

Cryptography and Security · Computer Science 2020-10-20 Daniel Perez , Benjamin Livshits

Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns…

Cryptography and Security · Computer Science 2018-08-27 Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais , Florian Buenzli , Martin Vechev

Software development is a very broad activity that captures the entire life cycle of a software, which includes designing, programming, maintenance and so on. In this study, we focus on the maintenance-related concerns of the…

Software Engineering · Computer Science 2021-08-18 Jiachi Chen , Xin Xia , David Lo , John Grundy , Xiaohu Yang

Smart contracts are stateful programs deployed on blockchains; they secure over a trillion dollars in transaction value per year. High-stakes smart contracts often rely on timely alerts about external events, but prior work has not analyzed…

Cryptography and Security · Computer Science 2026-04-14 Marwa Mouallem , Lorenz Breidenbach , Ittay Eyal , Ari Juels

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 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

In this paper, we analyze the Ethereum blockchain using the complex networks modeling framework. Accounts acting on the blockchain are represented as nodes, while the interactions among these accounts, recorded on the blockchain, are…

Cryptography and Security · Computer Science 2019-09-02 Stefano Ferretti , Gabriele D'Angelo

Ethereum is the largest blockchain platform that supports smart contracts. Users deploy smart contracts by publishing the smart contract's bytecode to the blockchain. Since the data in the blockchain cannot be modified, even if these…

Software Engineering · Computer Science 2020-09-07 Pengcheng Zhang , Feng Xiao , Xiapu Luo

In the area of blockchains, a wallet is anything that manages the access to cryptocurrencies and tokens. Off-chain wallets appear in different forms, from paper wallets to hardware wallets to dedicated wallet apps, while on-chain wallets…

Cryptography and Security · Computer Science 2021-04-06 Monika di Angelo , Gernot Salzer

Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have since been used for various applications such as security…

Software Engineering · Computer Science 2024-07-08 Mahdi Fooladgar , Fathiyeh Faghih

Smart contracts are small programs that run autonomously on the blockchain, using it as their persistent memory. The predominant platform for smart contracts is the Ethereum VM (EVM). In EVM smart contracts, a problem with significant…

Programming Languages · Computer Science 2025-12-01 Sifis Lagouvardos , Yannis Bollanos , Michael Debono , Neville Grech , Yannis Smaragdakis

Since it takes time and effort to put a new product or service on the market, one would like to predict whether it will be a success. In general this is not possible, but it is possible to follow best practices in order to maximise the…

Software Engineering · Computer Science 2019-09-02 Pieter Hartel , Ivan Homoliak , Daniël Reijsbergen

To empower smart contracts with the promising capabilities of cryptography, Ethereum officially introduced a set of cryptographic APIs that facilitate basic cryptographic operations within smart contracts, such as elliptic curve operations.…

Software Engineering · Computer Science 2023-12-18 Jiashuo Zhang , Jiachi Chen , Zhiyuan Wan , Ting Chen , Jianbo Gao , Zhong Chen

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