中文
相关论文

相关论文: Smart Contract Vulnerabilities: Vulnerable Does No…

200 篇论文

In this paper, we present the first large-scale and systematic study to characterize the code reuse practice in the Ethereum smart contract ecosystem. We first performed a detailed similarity comparison study on a dataset of 10 million…

密码学与安全 · 计算机科学 2019-05-02 Ningyu He , Lei Wu , Haoyu Wang , Yao Guo , Xuxian Jiang

Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious…

计算机科学中的逻辑 · 计算机科学 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro

Smart contracts are programs that are executed on the blockchain and can hold, manage and transfer assets in the form of cryptocurrencies. The contract's execution is then performed on-chain and is subject to consensus, i.e. every node on…

密码学与安全 · 计算机科学 2023-09-21 Soroush Farokhnia

Smart contracts are small programs that run autonomously on the blockchain, using it as their persistent memory. The predominant platform for smart contracts is the Ethereum VM (EVM). In EVM smart contracts, a problem with significant…

编程语言 · 计算机科学 2025-12-01 Sifis Lagouvardos , Yannis Bollanos , Michael Debono , Neville Grech , Yannis Smaragdakis

With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanisms, their success is also accountable to smart contracts.…

密码学与安全 · 计算机科学 2018-11-02 Dominik Harz , William Knottenbelt

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

We present SOLAR, a new analysis tool for automatically detecting standard violation errors in Ethereum smart contracts.Given the Ethereum Virtual Machine (EVM) bytecode of a smart contract and a user specified constraint or invariant…

密码学与安全 · 计算机科学 2019-02-20 Ao Li , Fan Long

Smart contract transactions associated with security attacks often exhibit distinct behavioral patterns compared with historical benign transactions before the attacking events. While many runtime monitoring and guarding mechanisms have…

密码学与安全 · 计算机科学 2024-07-16 Zhiyang Chen , Ye Liu , Sidi Mohamed Beillahi , Yi Li , Fan Long

The blockchain technology has been used for recording state transitions of smart contracts - decentralized applications that can be invoked through external transactions. Smart contracts gained popularity and accrued hundreds of billions of…

密码学与安全 · 计算机科学 2023-05-10 Nikolay Ivanov , Chenning Li , Qiben Yan , Zhiyuan Sun , Zhichao Cao , Xiapu Luo

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

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

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

Ethereum smart contracts are programs that run on the Ethereum blockchain, and many smart contract vulnerabilities have been discovered in the past decade. Many security analysis tools have been created to detect such vulnerabilities, but…

密码学与安全 · 计算机科学 2021-01-11 Nami Ashizawa , Naoto Yanai , Jason Paul Cruz , Shingo Okamura

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…

Most blockchains cannot hide the binary code of programs (i.e., smart contracts) running on them. To conceal proprietary business logic and to potentially deter attacks, many smart contracts are closed-source and employ layers of…

密码学与安全 · 计算机科学 2025-09-09 Sen Yang , Kaihua Qin , Aviv Yaish , Fan Zhang

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

Smart contract upgrades are increasingly common due to their flexibility in modifying deployed contracts, such as fixing bugs or adding new functionalities. Meanwhile, upgrades compromise the immutability of contracts, introducing…

密码学与安全 · 计算机科学 2025-08-05 Dingding Wang , Jianting He , Siwei Wu , Yajin Zhou , Lei Wu , Cong Wang

Smart contracts are programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon deployment on a blockchain, it is no longer possible to…

软件工程 · 计算机科学 2021-12-08 Chaïmaa Benabbou , Önder Gürcan

Bribery is a perilous issue in the real world, especially in an economical aspect. This fraudulence is unavoidable, and more importantly, it is more difficult to trace in case smart contracts are utilized for bribing on a distributed public…

密码学与安全 · 计算机科学 2023-06-16 Quang Tran , Lin Chen , Lei Xu , Yang Lu , Rabimba Karanjai , Weidong Shi

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

We analyze 15,097 blocks proposed for inclusion in Ethereum's blockchain over an eight-minute window on December 3, 2024, during which 38 blocks were added to the chain. We classify transactions as exclusive -- appearing only in blocks from…

密码学与安全 · 计算机科学 2025-11-17 Vabuk Pahari , Andrea Canidio