English
Related papers

Related papers: Bug Searching in Smart Contract

200 papers

Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make…

Software Engineering · Computer Science 2018-08-06 Bo Jiang , Ye Liu , W. K. Chan

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

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, many identified bugs and vulnerabilities in smart contracts have led to serious financial losses, which raises…

Software Engineering · Computer Science 2021-07-06 Zhipeng Gao

Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts. Although the literature features a number of proposals for securing smart contracts, these proposals mostly focus on…

Cryptography and Security · Computer Science 2018-12-17 Michael Rodler , Wenting Li , Ghassan O. Karame , Lucas Davi

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

Context: Smart contract vulnerabilities pose significant security risks for the Ethereum ecosystem, driving the development of automated tools for detection and mitigation. Smart contracts are written in Solidity, a programming language…

Software Engineering · Computer Science 2025-04-09 Gerardo Iuliano , Davide Corradini , Michele Pasqua , Mariano Ceccato , Dario Di Nucci

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

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

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

Reentrancy, a notorious vulnerability in smart contracts, has led to millions of dollars in financial loss. However, current smart contract vulnerability detection tools suffer from a high false positive rate in identifying contracts with…

Cryptography and Security · Computer Science 2024-03-29 Shuo Yang , Jiachi Chen , Mingyuan Huang , Zibin Zheng , Yuan Huang

Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a contract on the blockchain system and transfer all the…

Software Engineering · Computer Science 2020-10-07 Jiachi Chen

Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnerabilities$-$at the cost of production efficiency. Recent…

Cryptography and Security · Computer Science 2024-10-23 Tommaso Oss , Carlos E. Budde

Ethereum smart contracts are programs that are deployed and executed in a consensus-based blockchain managed by a peer-to-peer network. Several re-entrancy attacks that aim to steal Ether, the cryptocurrency used in Ethereum, stored in…

Cryptography and Security · Computer Science 2020-09-15 Yuichiro Chinen , Naoto Yanai , Jason Paul Cruz , Shingo Okamura

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

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

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

The use of blockchain and smart contracts have not stopped growing in recent years. Like all software that begins to expand its use, it is also beginning to be targeted by hackers who will try to exploit vulnerabilities in both the…

Cryptography and Security · Computer Science 2024-02-07 Antonio López Vivar , Ana Lucila Sandoval Orozco , Luis Javier García Villalba

Poorly designed smart contracts are particularly vulnerable, as they may allow attackers to exploit weaknesses and steal the virtual currency they manage. In this study, we train a model using unsupervised learning to identify…

Cryptography and Security · Computer Science 2025-04-15 Hong-Sheng Huang , Jen-Yi Ho , Hao-Wen Chen , Hung-Min Sun

The rise of decentralized applications (dApps) has made smart contracts imperative components of blockchain technology. As many smart contracts process financial transactions, their security is paramount. Moreover, the immutability of…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-24 Khalid Hassan , Saeed Moradi , Shaiful Chowdhury , Sara Rouhani

Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers,…

Programming Languages · Computer Science 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich