English
Related papers

Related papers: DEFECTCHECKER: Automated Smart Contract Defect Det…

200 papers

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

Smart contracts are programs running on top of blockchain platforms. They interact with each other through well-defined interfaces to perform financial transactions in a distributed system with no trusted third parties. But these interfaces…

Cryptography and Security · Computer Science 2019-02-19 Yu Feng , Emina Torlak , Rastislav Bodik

With the rapid advancement of blockchain technology, smart contracts have enabled the implementation of increasingly complex functionalities. However, ensuring the security of smart contracts remains a persistent challenge across the stages…

Cryptography and Security · Computer Science 2025-05-01 Yuchen Ding , Hongli Peng , Xiaoqi Li

With the rapid growth of blockchain technology, smart contracts are now crucial to Decentralized Finance (DeFi) applications. Effective vulnerability detection is vital for securing these contracts against hackers and enhancing the accuracy…

Software Engineering · Computer Science 2024-12-25 Jango Zhang

In recent years, smart contracts have suffered major exploits, costing millions of dollars. Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they cannot be modified once deployed. Though various tools have…

Cryptography and Security · Computer Science 2020-03-16 Christof Ferreira Torres , Mathis Baden , Robert Norvill , Beltran Borja Fiz Pontiveros , Hugo Jonker , Sjouke Mauw

Smart Contracts (SCs) in Ethereum can automate tasks and provide different functionalities to a user. Such automation is enabled by the `Turing-complete' nature of the programming language (Solidity) in which SCs are written. This also…

Cryptography and Security · Computer Science 2021-06-28 Rachit Agarwal , Tanmay Thapliyal , Sandeep Kumar Shukla

Programming errors in Ethereum smart contracts can result in catastrophic financial losses from stolen cryptocurrency. While vulnerability detectors can prevent vulnerable contracts from being deployed, this does not mean that such…

Cryptography and Security · Computer Science 2021-09-03 Simon Joseph Aquilina , Fran Casino , Mark Vella , Joshua Ellul , Constantinos Patsakis

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

Cryptography and Security · Computer Science 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

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

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

Decentralized Finance (DeFi) is emerging as a peer-to-peer financial ecosystem, enabling participants to trade products on a permissionless blockchain. Built on blockchain and smart contracts, the DeFi ecosystem has experienced explosive…

Cryptography and Security · Computer Science 2023-09-07 Peng Qian , Rui Cao , Zhenguang Liu , Wenqing Li , Ming Li , Lun Zhang , Yufeng Xu , Jianhai Chen , Qinming He

Ethereum smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. Smart contracts handle and transfer assets of values, offering strong incentives for malicious attacks. Intrusion attacks are…

Software Engineering · Computer Science 2019-11-28 Xinming Wang , Jiahao He , Zhijian Xie , Gansen Zhao , Shing-Chi Cheung

With the escalating prevalence of malicious activities exploiting vulnerabilities in blockchain systems, there is an urgent requirement for robust attack detection mechanisms. To address this challenge, this paper presents a novel…

With the development of blockchain technology, the detection of smart contract vulnerabilities is increasingly emphasized. However, when detecting vulnerabilities in inter-contract interactions (i.e., cross-contract vulnerabilities) using…

Cryptography and Security · Computer Science 2024-08-29 Xiao Chen

In Ethereum, the practice of verifying the validity of the passed addresses is a common practice, which is a crucial step to ensure the secure execution of smart contracts. Vulnerabilities in the process of address verification can lead to…

Cryptography and Security · Computer Science 2024-06-03 Tianle Sun , Ningyu He , Jiang Xiao , Yinliang Yue , Xiapu Luo , Haoyu Wang

Smart contracts on blockchains are prone to diverse security vulnerabilities that can lead to significant financial losses due to their immutable nature. Existing detection approaches often lack flexibility across vulnerability types and…

Cryptography and Security · Computer Science 2026-05-06 Xing Zhang , Keyu Zhang , Taohong Zhu , Anbang Ruan

Ethereum smart contracts hold tens of billions of USD in DeFi and NFTs, yet comprehensive security analysis remains difficult due to unverified code, proxy-based architectures, and the reliance on manual inspection of complex execution…

Cryptography and Security · Computer Science 2025-09-04 Shuzheng Wang , Yue Huang , Zhuoer Xu , Yuming Huang , Jing Tang

Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures…

Software Engineering · Computer Science 2023-04-14 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they do…

Computation and Language · Computer Science 2026-02-03 Zongwei Li , Xiaoqi Li , Wenkai Li , Xin Wang

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
‹ Prev 1 3 4 5 6 7 10 Next ›