English
Related papers

Related papers: Basis Path Coverage Criteria for Smart Contract Ap…

200 papers

Cybersecurity is an inherent characteristic that should be addressed before the large deployment of smart city applications. Recently, Blockchain appears as a promising technology to provide several cybersecurity aspects of smart city…

Cryptography and Security · Computer Science 2022-06-07 Omar Cheikhrouhou , Ichrak Amdouni , Khaleel Mershad , Maryem Ammi , Tuan Nguyen Gia

This paper introduces a method for detecting vulnerabilities in smart contracts using static analysis and a multi-objective optimization algorithm. We focus on four types of vulnerabilities: reentrancy, call stack overflow, integer…

Software Engineering · Computer Science 2024-10-02 Dongcheng Li , W. Eric Wong , Xiaodan Wang , Sean Pan , Liang-Seng Koh

As time progresses, the need for more secure applications grows exponentially. The different types of sensitive information that is being transferred virtually has sparked a rise in systems that leverage blockchain. Different sectors are…

Cryptography and Security · Computer Science 2024-01-04 Myles Lewis , Chris Crawford

Context: Smart contracts are computer programs that are automatically executed on the blockchain. Vulnerabilities in their implementation have led to severe loss of cryptocurrency. Smart contracts become immutable when deployed to the…

Cryptography and Security · Computer Science 2022-03-29 Majd Soud , Grischa Liebel , Mohammad Hamdaqa

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…

Recently, decentralised (on-blockchain) platforms have emerged to complement centralised (off-blockchain) platforms for the implementation of automated, digital (smart) contracts. However, neither alternative can individually satisfy the…

Software Engineering · Computer Science 2018-08-02 Carlos Molina-Jimenez , Ioannis Sfyrakis , Ellis Solaiman , Irene Ng , Meng Weng Wong , Alexis Chun , Jon Crowcroft

With the increasing adoption of smart contracts, ensuring their security has become a critical concern. Numerous vulnerabilities and attacks have been identified and exploited, resulting in significant financial losses. In response,…

Cryptography and Security · Computer Science 2024-08-13 Zhiyuan Wei , Jing Sun , Zijian Zhang , Xianhao Zhang , Xiaoxuan Yang , Liehuang Zhu

Smart contracts are a secure and trustworthy application that plays a vital role in decentralized applications in various fields such as insurance,the internet, and gaming. However, in recent years, smart contract security breaches have…

Cryptography and Security · Computer Science 2026-01-19 Jixuan Wu , Lei Xie , Xiaoqi Li

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

Computers and Society · Computer Science 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

The global financial landscape is experiencing significant transformation driven by technological advancements and evolving market dynamics. Moreover, blockchain technology has become a pivotal platform with widespread applications,…

Computational Engineering, Finance, and Science · Computer Science 2024-07-30 Maruf Ahmed Mridul , Kaiyang Chang , Aparna Gupta , Oshani Seneviratne

Blockchain systems have gained substantial traction recently, partly due to the potential of decentralized immutable mediation of economic activities. Ethereum is a prominent example that has the provision for executing stateful computing…

Software Engineering · Computer Science 2020-07-17 Ashish Rajendra Sai , Conor Holmes , Jim Buckley , Andrew Le Gear

This paper introduces a blockchain-based insurance scheme that integrates parametric and collaborative elements. A pool of investors, referred to as surplus providers, locks funds in a smart contract, enabling blockchain users to underwrite…

Cryptography and Security · Computer Science 2026-01-14 Pierre-Olivier Goffard , Stéphane Loisel

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

Ethereum Smart Contracts based on Blockchain Technology (BT) enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum Smart Contracts are programs that are deployed as…

Cryptography and Security · Computer Science 2022-03-03 Noama Fatima Samreen , Manar H. Alalfi

As the significance of blockchain innovation grows and the focus on scalability intensifies, rollup technology has emerged as a promising approach to tackle these scalability concerns. Nonetheless, rollups encounter restrictions when…

Cryptography and Security · Computer Science 2023-06-01 Hyun Jeong , Hyemin Lee

Modern blockchains support a variety of distributed applications beyond cryptocurrencies, including smart contracts -- which let users execute arbitrary code in a distributed and decentralized fashion. Regardless of their intended…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-15 Orestis Alpos , Christian Cachin , Giorgia Azzurra Marson , Luca Zanolini

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

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

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

The advent of blockchain technology and its adoption across various sectors have raised critical discussions about the need for regulatory mechanisms to ensure consumer protection, maintain financial stability, and address privacy concerns…

Cryptography and Security · Computer Science 2024-07-16 Oshani Seneviratne