English
Related papers

Related papers: Mutation Testing for Ethereum Smart Contract

200 papers

Smart contracts are pieces of code that reside inside the blockchains and can be triggered to execute any transaction when specifically predefined conditions are satisfied. Being commonly used for commercial transactions in blockchain makes…

Cryptography and Security · Computer Science 2023-06-13 Yilin Wang , Xiangping Chen , Yuan Huang , Hao-Nan Zhu , Jing Bian , Zibin Zheng

The widespread lack of broad source code verification on blockchain explorers such as Etherscan, where despite 78,047,845 smart contracts deployed on Ethereum (as of May 26, 2025), a mere 767,520 (< 1%) are open source, presents a severe…

Cryptography and Security · Computer Science 2025-06-25 Isaac David , Liyi Zhou , Dawn Song , Arthur Gervais , Kaihua Qin

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

The immutability of smart contracts on blockchain platforms like Ethereum promotes security and trustworthiness but presents challenges for updates, bug fixes, or adding new features post-deployment. These limitations can lead to…

Software Engineering · Computer Science 2025-04-04 Ilham Qasse , Isra M. Ali , Nafisa Ahmed , Mohammad Hamdaqa , Björn Þór Jónsson

While smart contracts are foundational elements of blockchain applications, their inherent susceptibility to security vulnerabilities poses a significant challenge. Existing training datasets employed for vulnerability detection tools may…

Cryptography and Security · Computer Science 2024-10-31 Cuong Tran Manh , Hieu Dinh Vo

Smart contract (SC) is an extension of BlockChain technology. Ethereum BlockChain was the first to incorporate SC and thus started a new era of crypto-currencies and electronic transactions. Solidity helps to program the SCs. Still, soon…

Cryptography and Security · Computer Science 2021-01-01 Zulfiqar Ali Khan , Akbar Siami Namin

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

There is a huge demand to ensure the compliance of smart contracts listed on blockchain platforms to safety and economic standards. Today, manual efforts in the form of auditing are commonly used to achieve this goal. ML-based automated…

Cryptography and Security · Computer Science 2025-02-11 Shihao Xia , Mengting He , Linhai Song , Yiying Zhang

Smart contracts on Ethereum handle millions of U.S. Dollars and other financial assets. In the past, attackers have exploited smart contracts to steal these assets. The Ethereum community has developed plenty of tools to detect vulnerable…

Cryptography and Security · Computer Science 2022-02-28 Chavhan Sujeet Yashavant , Saurabh Kumar , Amey Karkare

The emergence of blockchain technology has revolutionized contract execution through the introduction of smart contracts. Ethereum, the leading blockchain platform, leverages smart contracts to power decentralized applications (DApps),…

Cryptography and Security · Computer Science 2025-10-23 Tahrim Hossain , Sakib Hassan , Faisal Haque Bappy , Muhammad Nur Yanhaona , Tarannum Shaila Zaman , Tariqul Islam

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

Cryptography and Security · Computer Science 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

The selfdestruct function is provided by Ethereum smart contracts to destroy a contract on the blockchain system. However, it is a double-edged sword for developers. On the one hand, using selfdestruct function enables developers to remove…

Software Engineering · Computer Science 2021-11-30 Jiachi Chen , Xin Xia , David Lo , John Grundy

Upgradeable smart contracts (USCs) have been widely adopted to enable modifying deployed smart contracts. While USCs bring great flexibility to developers, improper usage might introduce new security issues, potentially allowing attackers…

Cryptography and Security · Computer Science 2024-03-05 Xiaofan Li , Jin Yang , Jiaqi Chen , Yuzhe Tang , Xing Gao

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

The wide application of Ethereum technology has brought technological innovation to traditional industries. As one of Ethereum's core applications, smart contracts utilize diverse contract codes to meet various functional needs and have…

Cryptography and Security · Computer Science 2024-07-02 Jiacheng Yao , Maolin Wang , Wanqi Chen , Chengxiang Jin , Jiajun Zhou , Shanqing Yu , Qi Xuan

Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like decentralized finance (DeFi) and supply-chain management. These types of applications…

Cryptography and Security · Computer Science 2023-11-09 Monika di Angelo , Thomas Durieux , João F. Ferreira , Gernot Salzer

Smart contracts on a blockchain behave precisely as specified by their code. A vulnerability in this code can lead to unexpected behaviour, which is hard to fix because a blockchain does not allow to change smart contract code after its…

Programming Languages · Computer Science 2019-11-27 Markus Knecht

Smart contracts are programs deployed on a blockchain and are immutable once deployed. Reentrancy, one of the most important vulnerabilities in smart contracts, has caused millions of dollars in financial loss. Many reentrancy detection…

Software Engineering · Computer Science 2023-03-27 Zibin Zheng , Neng Zhang , Jianzhong Su , Zhijie Zhong , Mingxi Ye , Jiachi Chen

In the growing field of blockchain technology, smart contracts exist as transformative digital agreements that execute transactions autonomously in decentralised networks. However, these contracts face challenges in the form of security…

Cryptography and Security · Computer Science 2024-07-12 Christopher De Baets , Basem Suleiman , Armin Chitizadeh , Imran Razzak

Smart contracts are small programs on the blockchain that often handle valuable assets. Vulnerabilities in smart contracts can be costly, as time has shown over and over again. Countermeasures are high in demand and include best practice…

Software Engineering · Computer Science 2023-05-03 Monika di Angelo , Gernot Salzer