English
Related papers

Related papers: Smart Contract Upgradeability on the Ethereum Bloc…

200 papers

Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain systems rely on complex middleware, like Ethereum or…

Software Engineering · Computer Science 2020-10-23 Ákos Hajdu , Naghmeh Ivaki , Imre Kocsis , Attila Klenik , László Gönczy , Nuno Laranjeiro , Henrique Madeira , András Pataricza

Using blockchain technology, it is possible to create contracts that offer a reward in exchange for a trained machine learning model for a particular data set. This would allow users to train machine learning models for a reward in a…

Cryptography and Security · Computer Science 2018-03-01 A. Besir Kurtulmus , Kenny Daniel

Smart contract vulnerabilities can cause substantial financial losses due to the immutability of code after deployment. While existing tools detect vulnerabilities, they cannot effectively repair them. In this paper, we propose SCPatcher, a…

Software Engineering · Computer Science 2026-04-02 Xiaoqi Li , Shipeng Ye , Wenkai Li , Zongwei Li

The blockchain technology has been used for recording state transitions of smart contracts - decentralized applications that can be invoked through external transactions. Smart contracts gained popularity and accrued hundreds of billions of…

Cryptography and Security · Computer Science 2023-05-10 Nikolay Ivanov , Chenning Li , Qiben Yan , Zhiyuan Sun , Zhichao Cao , Xiapu Luo

Currently, there is no universal method to track who shared what, with whom, when and for what purposes in a verifiable way to create an individual incentive for data owners. A platform that allows data owners to control, delete, and get…

Cryptography and Security · Computer Science 2025-10-29 Ajay Kumar Shrestha , Julita Vassileva

Smart contract technology facilitates self-executing agreements on the blockchain, eliminating dependency on an external trusted authority. However, smart contracts may expose vulnerabilities that can lead to financial losses and…

Cryptography and Security · Computer Science 2026-01-14 Emre Balci , Timucin Aydede , Gorkem Yilmaz , Ece Gelal Soyak

Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due to the immutable nature of the blockchain, there is a strong…

Cryptography and Security · Computer Science 2021-01-15 Clara Schneidewind , Markus Scherer , Matteo Maffei

Blockchain technology and artificial intelligence (AI) are current hot topics in research and practice. However, the potentials of their combination have been studied just recently to a larger extend. While different use cases for combining…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-24 Philipp Brune

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

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

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

Software Engineering · Computer Science 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle

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…

It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also important to ensure the quality and…

Software Engineering · Computer Science 2020-01-23 Pieter Hartel , Richard Schumi

The Ethereum blockchain is essentially a globally replicated public database. Programs called smart contracts can access this database. Over 10 million smart contracts have been deployed on the Ethereum blockchain. Executing a method of a…

Software Engineering · Computer Science 2019-07-23 Pieter Hartel , Mark van Staalduinen

Blockchain smart contracts play a crucial role in automating and securing agreements in diverse domains such as finance, healthcare, and supply chains. Despite their critical applications, testing these contracts often receives less…

Software Engineering · Computer Science 2025-01-20 Irving Jared Villanueva , Madhusudan Srinivasan , Faqeer Ur Rehman

With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanisms, their success is also accountable to smart contracts.…

Cryptography and Security · Computer Science 2018-11-02 Dominik Harz , William Knottenbelt

Smart contracts are nowadays at the core of most blockchain systems, as they specify and allow an agreement between entities that wish to perform a transaction. As any computer program, smart contracts are subject to the presence of…

Cryptography and Security · Computer Science 2024-07-19 Fernando Richter Vidal , Naghmeh Ivaki , Nuno Laranjeiro

Blockchain has been increasingly used as a software component to enable decentralisation in software architecture for a variety of applications. Blockchain governance has received considerable attention to ensure the safe and appropriate…

Software Engineering · Computer Science 2022-03-29 Yue Liu , Qinghua Lu , Liming Zhu , Hye-Young Paik , Mark Staples

Smart contracts are cryptographic protocols that are enforced without a judiciary. Smart contracts are used occasionally in Bitcoin and are prevalent in Ethereum. Public quantum money improves upon cash we use today, yet the current…

Quantum Physics · Physics 2022-09-20 Or Sattath

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
‹ Prev 1 8 9 10 Next ›