中文
相关论文

相关论文: Vulnerability Analysis of Smart Contracts

200 篇论文

Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins,…

分布式、并行与集群计算 · 计算机科学 2024-12-12 Zhiyuan Wei , Xianhao Zhang , Jing Sun , Zijian Zhang , Liehuang Zhu

Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs become perpetual once published. The reliability of SCs is…

Ethereum smart contracts, which are autonomous decentralized applications on the blockchain that manage assets often exceeding millions of dollars, have become primary targets for cyberattacks. In 2023 alone, such vulnerabilities led to…

密码学与安全 · 计算机科学 2023-12-29 Christoph Sendner , Lukas Petzi , Jasper Stang , Alexandra Dmitrienko

Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, storing them into sequential blocks of which integrity is…

软件工程 · 计算机科学 2024-03-13 Francesco Salzano , Simone Scalabrino , Rocco Oliveto , Remo Pareschi

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 regarded as one of the most promising and appealing notions in blockchain technology. Their self-enforcing and event-driven features make some online activities possible without a trusted third party. Nevertheless,…

密码学与安全 · 计算机科学 2021-02-16 Bin Hu , Zongyang Zhang , Jianwei Liu , Yizhong Liu , Jiayuan Yin , Rongxing Lu , Xiaodong Lin

This paper serves as a progress report on our research, specifically focusing on utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in smart contracts. We present a selection of motivating…

软件工程 · 计算机科学 2023-09-26 Ştefan-Claudiu Susan , Andrei Arusoaie

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…

密码学与安全 · 计算机科学 2024-01-04 Myles Lewis , Chris Crawford

Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart contracts, we wondered how software practitioners build…

软件工程 · 计算机科学 2021-03-30 Zhiyuan Wan , Xin Xia , David Lo , Jiachi Chen , Xiapu Luo , Xiaohu Yang

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

With the more and more extensive application of blockchain, blockchain security has been widely concerned by the society and deeply studied by scholars. Moreover, the security of blockchain data directly affects the security of various…

密码学与安全 · 计算机科学 2020-07-22 Liehuang Zhu , Baokun Zheng , Meng Shen , Shui Yu , Feng Gao , Hongyu Li , Kexin Shi , Keke Gai

Software built on poor structural patterns often shows higher exposure to security defects. When code differs from established best practices, verification and maintenance become increasingly difficult, thereby raising the risk of…

密码学与安全 · 计算机科学 2026-01-26 Masoud Jamshidiyan Tehrani

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…

密码学与安全 · 计算机科学 2021-01-01 Zulfiqar Ali Khan , Akbar Siami Namin

Blockchain-based smart contract has become a growing field in the blockchain technology. What was once a technology used to solve digital transaction issues turns out to have some wider usage, including smart contract. The development of…

密码学与安全 · 计算机科学 2021-08-23 Fengkie Junis , Faisal Malik Widya Prasetya , Farouq Ibrahim Lubay , Anny Kartika Sari

This paper introduces a method for detecting vulnerabilities in smart contracts using static analysis and a multi-objective optimization algorithm. We focus on four types of vulnerabilities: reentrancy, call stack overflow, integer…

软件工程 · 计算机科学 2024-10-02 Dongcheng Li , W. Eric Wong , Xiaodan Wang , Sean Pan , Liang-Seng Koh

Smart contract technology is reshaping conventional industry and business processes. Being embedded in blockchains, smart contracts enable the contractual terms of an agreement to be enforced automatically without the intervention of a…

软件工程 · 计算机科学 2019-12-24 Zibin Zheng , Shaoan Xie , Hong-Ning Dai , Weili Chen , Xiangping Chen , Jian Weng , Muhammad Imran

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

Since its inception, the blockchain technology has shown promising application prospects. From the initial cryptocurrency to the current smart contract, blockchain has been applied to many fields. Although there are some studies on the…

密码学与安全 · 计算机科学 2020-11-05 Xiaoqi Li , Peng Jiang , Ting Chen , Xiapu Luo , Qiaoyan Wen

Ethereum Smart contracts use blockchain to transfer values among peers on networks without central agency. These programs are deployed on decentralized applications running on top of the blockchain consensus protocol to enable people to…

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

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