中文
相关论文

相关论文: Demystifying Random Number in Ethereum Smart Contr…

200 篇论文

Ethereum smart contracts are public, immutable and distributed and, as such, they are prone to vulnerabilities sourcing from programming mistakes of developers. This paper presents SAFEVM, a verification tool for Ethereum smart contracts…

编程语言 · 计算机科学 2019-06-13 Elvira Albert , Jesús Correas , Pablo Gordillo , Guillermo Román-Díez , Albert Rubio

Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns…

密码学与安全 · 计算机科学 2018-08-27 Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais , Florian Buenzli , Martin Vechev

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

Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due to the immutable nature of the blockchain, there is a strong…

密码学与安全 · 计算机科学 2021-01-15 Clara Schneidewind , Markus Scherer , Matteo Maffei

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

编程语言 · 计算机科学 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

Rug pull scams have emerged as a persistent threat to cryptocurrency, causing significant financial losses. A typical scenario involves scammers deploying honeypot contracts to attract investments, restricting token sales, and draining the…

软件工程 · 计算机科学 2025-07-09 Hao Wu , Haijun Wang , Shangwang Li , Yin Wu , Ming Fan , Wuxia Jin , Ting Liu

To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each defining a set of rules governing contract behavior. Violating these rules can cause serious security issues and…

人工智能 · 计算机科学 2026-03-03 Shihao Xia , Mengting He , Shuai Shao , Tingting Yu , Yiying Zhang , Nobuko Yoshida , Linhai Song

Smart contracts govern billions of dollars in decentralized finance (DeFi), yet automated vulnerability detection remains challenging because many vulnerabilities are tightly coupled with project-specific business logic. We observe that…

密码学与安全 · 计算机科学 2026-03-30 Ziqiao Kong , Wanxu Xia , Chong Wang , Yi Lu , Pan Li , Shaohua Li , Zong Cao , Yang Liu

The evaluation of smart contract reputability is essential to foster trust in decentralized ecosystems. However, existing methods that rely solely on code analysis or transactional data, offer limited insight into evolving trustworthiness.…

机器学习 · 计算机科学 2025-04-01 Cyrus Malik , Josef Bajada , Joshua Ellul

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

We introduce SCooLS, our Smart Contract Learning (Semi-supervised) engine. SCooLS uses neural networks to analyze Ethereum contract bytecode and identifies specific vulnerable functions. SCooLS incorporates two key elements: semi-supervised…

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

Smart Contracts are essential blockchain components, mainly written in Solidity. The high availability of public Solidity code leads to frequent reuse and high clone ratios. Since cloning can propagate vulnerabilities and flaws, effective…

Modern blockchain, such as Ethereum, supports the deployment and execution of so-called smart contracts, autonomous digital programs with significant value of cryptocurrency. Executing smart contracts requires gas costs paid by users, which…

新兴技术 · 计算机科学 2024-06-25 Majd Soud , Waltteri Nuutinen , Grischa Liebel

The developers of Ethereum smart contracts often implement administrating patterns, such as censoring certain users, creating or destroying balances on demand, destroying smart contracts, or injecting arbitrary code. These routines turn an…

密码学与安全 · 计算机科学 2021-07-26 Nikolay Ivanov , Hanqing Guo , Qiben Yan

Smart contracts are full-fledged programs that run on blockchains (e.g., Ethereum, one of the most popular blockchains). In Ethereum, gas (in Ether, a cryptographic currency like Bitcoin) is the execution fee compensating the computing…

软件工程 · 计算机科学 2020-11-05 Ting Chen , Xiaoqi Li , Xiapu Luo , Xiaosong Zhang

Identifying reputable Ethereum projects remains a critical challenge within the expanding blockchain ecosystem. The ability to distinguish between legitimate initiatives and potentially fraudulent schemes is non-trivial. This work presents…

密码学与安全 · 计算机科学 2025-03-21 Cyrus Malik , Josef Bajada , Joshua Ellul

Smart contracts have significantly advanced blockchain technology, and digital signatures are crucial for reliable verification of contract authority. Through signature verification, smart contracts can ensure that signers possess the…

密码学与安全 · 计算机科学 2025-11-13 Zexu Wang , Jiachi Chen , Zewei Lin , Wenqing Chen , Kaiwen Ning , Jianxing Yu , Yuming Feng , Yu Zhang , Weizhe Zhang , Zibin Zheng

The advent of smart contracts has enabled the rapid rise of Decentralized Finance (DeFi) on the Ethereum blockchain, offering substantial rewards in financial innovation and inclusivity. This growth, however, is accompanied by significant…

社会与信息网络 · 计算机科学 2026-05-05 Shabnam Fazliani , Mohammad Mowlavi Sorond , Arsalan Masoudifard

Blockchain systems, such as Ethereum, use an approach called "metering" to assign a cost to smart contract execution, an approach which is designed to incentivise miners to operate the network and protect it against DoS attacks. In the…

密码学与安全 · 计算机科学 2020-03-11 Daniel Perez , Benjamin Livshits

The security of smart contracts is critical in blockchain systems, where even minor vulnerabilities can lead to substantial financial losses. Researchers proposed several vulnerability detection tools evaluated using existing benchmarks.…

软件工程 · 计算机科学 2025-04-23 Gerardo Iuliano , Luigi Allocca , Matteo Cicalese , Dario Di Nucci