中文
相关论文

相关论文: Exploring Security Practices of Smart Contract Dev…

200 篇论文

We reveal six zero-day social engineering attacks in Ethereum, and subdivide them into two classes: Address Manipulation and Homograph. We demonstrate the attacks by embedding them in source codes of five popular smart contracts with…

密码学与安全 · 计算机科学 2022-09-20 Nikolay Ivanov , Qiben Yan

Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that…

密码学与安全 · 计算机科学 2019-11-07 Jialiang Chang , Bo Gao , Hao Xiao , Jun Sun , Yan Cai , Zijiang Yang

Smart contracts underpin high-value ecosystems such as decentralized finance (DeFi), yet recurring vulnerabilities continue to cause losses worth billions of dollars. Although numerous security analyzers that detect such flaws exist,…

密码学与安全 · 计算机科学 2026-03-03 Tamer Abdelaziz , Salma Alsaghir , Karim Ali

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

Since it takes time and effort to put a new product or service on the market, one would like to predict whether it will be a success. In general this is not possible, but it is possible to follow best practices in order to maximise the…

软件工程 · 计算机科学 2019-09-02 Pieter Hartel , Ivan Homoliak , Daniël Reijsbergen

A widespread belief in the blockchain security community is that automated techniques are only good for detecting shallow bugs, typically of small value. In this paper, we present the techniques and insights that have led us to repeatable…

Many empirical software engineering studies show that there is a great need for repositories where source code is acquired, filtered and classified. During the last few years, Ethereum block explorer services have emerged as a popular…

软件工程 · 计算机科学 2020-11-04 Giuseppe Antonio Pierro , Roberto Tonelli , Michele Marchesi

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…

密码学与安全 · 计算机科学 2018-12-17 Michael Rodler , Wenting Li , Ghassan O. Karame , Lucas Davi

The Solana blockchain was created by Anatoly Yakovenko of Solana Labs and was introduced in 2017, employing a novel transaction verification method. However, at the same time, the innovation process introduced some new security issues. The…

密码学与安全 · 计算机科学 2025-04-11 Xiangfan Wu , Ju Xing , Xiaoqi Li

The usage of error handling in Solidity smart contracts is vital because smart contracts perform transactions that should be verified. Transactions that are not carefully handled, may lead to program crashes and vulnerabilities, implying…

Cryptocurrencies have received a lot of research attention in recent years following the release of the first cryptocurrency Bitcoin. With the rise in cryptocurrency transactions, the need for smart contracts has also increased. Smart…

密码学与安全 · 计算机科学 2022-05-17 Aritra Banerjee , Michael Clear , Hitesh Tewari

The widespread lack of broad source code verification on blockchain explorers such as Etherscan, where despite 78,047,845 smart contracts deployed on Ethereum (as of May 26, 2025), a mere 767,520 (< 1%) are open source, presents a severe…

密码学与安全 · 计算机科学 2025-06-25 Isaac David , Liyi Zhou , Dawn Song , Arthur Gervais , Kaihua Qin

Smart contract technology facilitates self-executing agreements on the blockchain, eliminating dependency on an external trusted authority. However, smart contracts may expose vulnerabilities that can lead to financial losses and…

密码学与安全 · 计算机科学 2026-01-14 Emre Balci , Timucin Aydede , Gorkem Yilmaz , Ece Gelal Soyak

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

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…

密码学与安全 · 计算机科学 2024-03-29 Shuo Yang , Jiachi Chen , Mingyuan Huang , Zibin Zheng , Yuan Huang

This article conducts an extensive examination of the persisting challenges related to smart contract attacks within blockchain networks, with a particular focus on the reentrancy attack. It emphasizes the inherent vulnerabilities embedded…

社会与信息网络 · 计算机科学 2023-10-05 Simone Casale-Brunet , Marco Mattavelli

Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains. In the last few years, analysis of smart contracts has…

软件工程 · 计算机科学 2019-08-16 Chao Peng , Sefa Akca , Ajitha Rajan

The rise of smart contract systems such as Ethereum has resulted in a proliferation of blockchain-based decentralized applications including applications that store and manage a wide range of data. Current smart contracts are designed to be…

密码学与安全 · 计算机科学 2019-02-26 Chao Li , Balaji Palanisamy , Runhua Xu

Identifying security issues early is encouraged to reduce the latent negative impacts on software systems. Code review is a widely-used method that allows developers to manually inspect modified code, catching security issues during a…

软件工程 · 计算机科学 2024-05-10 Wachiraphan Charoenwet , Patanamon Thongtanunam , Van-Thuan Pham , Christoph Treude

With the increasing popularity of cryptocurrencies and blockchain technology, smart contracts have become a prominent feature in developing decentralized applications. However, these smart contracts are susceptible to vulnerabilities that…

软件工程 · 计算机科学 2023-08-22 Jiachi Chen , Mingyuan Huang , Zewei Lin , Peilin Zheng , Zibin Zheng