中文
相关论文

相关论文: Smart Contract Vulnerability Detection: From Pure …

200 篇论文

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…

密码学与安全 · 计算机科学 2022-03-03 Noama Fatima Samreen , Manar H. Alalfi

Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and…

密码学与安全 · 计算机科学 2023-06-09 Monika di Angelo , Thomas Durieux , João F. Ferreira , Gernot Salzer

With the rapid development of blockchain technology, smart contract security has become a critical challenge. Existing smart contract vulnerability detection methods face three main issues: (1) Insufficient quality of datasets, lacking…

密码学与安全 · 计算机科学 2024-11-12 Lei Yu , Shiqi Chen , Hang Yuan , Peng Wang , Zhirong Huang , Jingyuan Zhang , Chenjie Shen , Fengjun Zhang , Li Yang , Jiajia Ma

The rapid adoption of blockchain technology highlighted the importance of ensuring the security of smart contracts due to their critical role in automated business logic execution on blockchain platforms. This paper provides an empirical…

We introduce the Deep Learning Vulnerability Analyzer (DLVA) for Ethereum smart contracts based on neural networks. We train DLVA to judge bytecode even though the supervising oracle can only judge source. DLVA's training algorithm is…

密码学与安全 · 计算机科学 2026-05-19 Tamer Abdelaziz , Aquinas Hobor

With the advance application of blockchain technology in various fields, ensuring the security and stability of smart contracts has emerged as a critical challenge. Current security analysis methodologies in vulnerability detection can be…

密码学与安全 · 计算机科学 2025-07-31 Chenyang Peng , Haijun Wang , Yin Wu , Hao Wu , Ming Fan , Yitao Zhao , Ting Liu

Smart contracts have transformed decentralized finance by enabling programmable, trustless transactions. However, their widespread adoption and growing financial significance have attracted persistent and sophisticated threats, such as…

密码学与安全 · 计算机科学 2025-08-13 Pasquale De Rosa , Pascal Felber , Valerio Schiavoni

Smart contracts are blockchain-based algorithms that execute when specific criteria are satisfied. They are often used to automate the implementation of an agreement so that all parties may be confident of the conclusion right away, without…

密码学与安全 · 计算机科学 2022-12-19 Harry Virani , Manthan Kyada

With the rise in using immature smart contract programming languages to build a decentralized application, more vulnerabilities have been introduced to the Blockchain and were the main reasons behind critical financial losses. Moreover, the…

密码学与安全 · 计算机科学 2023-12-04 Oualid Zaazaa , Hanan El Bakkali

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,…

编程语言 · 计算机科学 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich

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…

密码学与安全 · 计算机科学 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

Smart contracts are self-executing programs that run on blockchains (e.g., Ethereum). 680 million US dollars worth of digital assets controlled by smart contracts have been hacked or stolen due to various security vulnerabilities in 2021.…

密码学与安全 · 计算机科学 2022-04-26 Tanusree Sharma , Zhixuan Zhou , Andrew Miller , Yang Wang

Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockchain, no change is possible on a deployed smart contract or…

软件工程 · 计算机科学 2019-12-25 Erfan Andesta , Fathiyeh Faghih , Mahdi Fooladgar

Smart Contract Vulnerability Detection (SCVD) is crucial to guarantee the quality of blockchain-based systems. Graph neural networks have been shown to be effective in learning semantic representations of smart contract code and are…

密码学与安全 · 计算机科学 2024-07-09 Yizhou Chen

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 are fundamental components of blockchain ecosystems; however, their security remains a critical concern due to inherent vulnerabilities. While existing detection methodologies are predominantly syntax-oriented, targeting…

密码学与安全 · 计算机科学 2026-03-30 Ali Fattahdizaji , Mohammad Pishdar , Zarina Shukur

Smart contract is the building block of blockchain systems that enables automated peer-to-peer transactions and decentralized services. With the increasing popularity of smart contracts, blockchain systems, in particular Ethereum, have been…

密码学与安全 · 计算机科学 2021-05-24 Huiwen Hu , Yuedong Xu

The security of smart contracts, which are an important part of blockchain technology, has attracted much attention. In particular, reentrancy vulnerability, which is hidden and complex, poses a great threat to smart contracts. In order to…

密码学与安全 · 计算机科学 2023-12-27 Chang Chu

Smart contracts are distributed, self-enforcing programs executing on top of blockchain networks. They have the potential to revolutionize many industries such as financial institutes and supply chains. However, smart contracts are subject…

密码学与安全 · 计算机科学 2021-01-07 Tai D. Nguyen , Long H. Pham , Jun Sun

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…

密码学与安全 · 计算机科学 2024-02-07 Antonio López Vivar , Ana Lucila Sandoval Orozco , Luis Javier García Villalba