中文
相关论文

相关论文: DEFECTCHECKER: Automated Smart Contract Defect Det…

200 篇论文

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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

计算与语言 · 计算机科学 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…

密码学与安全 · 计算机科学 2024-10-31 Cuong Tran Manh , Hieu Dinh Vo