中文
相关论文

相关论文: WakeMint: Detecting Sleepminting Vulnerabilities i…

200 篇论文

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 crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

密码学与安全 · 计算机科学 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

Context: Smart contract vulnerabilities pose significant security risks for the Ethereum ecosystem, driving the development of automated tools for detection and mitigation. Smart contracts are written in Solidity, a programming language…

软件工程 · 计算机科学 2025-04-09 Gerardo Iuliano , Davide Corradini , Michele Pasqua , Mariano Ceccato , Dario Di Nucci

The Non-Fungible-Token (NFT) market has experienced explosive growth in recent years. According to DappRadar, the total transaction volume on OpenSea, the largest NFT marketplace, reached 34.7 billion dollars in February 2023. However, the…

交易与市场微观结构 · 定量金融 2023-08-04 Mingxiao Song , Yunsong Liu , Agam Shah , Sudheer Chava

The immutable and trustable characteristics of blockchain enable smart contracts to be applied in various fields. Unfortunately, smart contracts are subject to various vulnerabilities, which are frequently exploited by attackers, causing…

密码学与安全 · 计算机科学 2023-06-08 Haiyang Liu , Yuqi Fan , Lin Feng , Zhenchun Wei

Ethereum smart contracts have recently drawn a considerable amount of attention from the media, the financial industry and academia. With the increase in popularity, malicious users found new opportunities to profit by deceiving newcomers.…

密码学与安全 · 计算机科学 2019-12-23 Ramiro Camino , Christof Ferreira Torres , Mathis Baden , Radu State

Smart contracts are self-executing programs that manage financial transactions on blockchain networks. Developers commonly rely on third-party code libraries to improve both efficiency and security. However, improper use of these libraries…

软件工程 · 计算机科学 2026-04-02 Yishun Wang , Wenkai Li , Xiaoqi Li , Zongwei Li , Lei Xie , Yuqing Zhang

The blockchain ecosystem, particularly with the rise of Web3 and Non-Fungible Tokens (NFTs), has experienced a significant increase in users and applications. However, this expansion is challenged by the need to connect early adopters with…

密码学与安全 · 计算机科学 2024-04-08 Hiroki Watanabe , Kohei Ichihara , Takumi Aita

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…

As one of the representative Delegated Proof-of-Stake (DPoS) blockchain platforms, EOSIO's ecosystem grows rapidly in recent years. A number of vulnerabilities and corresponding attacks of EOSIO's smart contracts have been discovered and…

密码学与安全 · 计算机科学 2019-06-26 Lijin Quan , Lei Wu , Haoyu Wang

Fuzzing is a widely used technique for detecting vulnerabilities in smart contracts, which generates transaction sequences to explore the execution paths of smart contracts. However, existing fuzzers are falling short in detecting…

密码学与安全 · 计算机科学 2025-11-18 Jie Chen , Liangmin Wang

Smart contract (SC) fuzzing is a critical technique for detecting vulnerabilities in blockchain applications. However, its adoption remains challenging for practitioners due to fundamental differences between SCs and traditional software…

人机交互 · 计算机科学 2025-06-10 Guanming Qiao , Partha Protim Paul

The wide application of Ethereum technology has brought technological innovation to traditional industries. As one of Ethereum's core applications, smart contracts utilize diverse contract codes to meet various functional needs and have…

密码学与安全 · 计算机科学 2024-07-02 Jiacheng Yao , Maolin Wang , Wanqi Chen , Chengxiang Jin , Jiajun Zhou , Shanqing Yu , Qi Xuan

We present in this paper a cryptocurrency called Mobile Fungible Token (MFT) or "MiftyCoin", which is mined with Proof of Human Work (PoH). Blocks in MFT's blockchain are mined by users solving unique 24-tile puzzles autogenerated as a…

密码学与安全 · 计算机科学 2022-11-29 Javier A. Arroyo-Figueroa

Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability detection presents a range of challenges, especially as smart…

软件工程 · 计算机科学 2024-03-19 Zexu Wang , Jiachi Chen , Yanlin Wang , Yu Zhang , Weizhe Zhang , Zibin Zheng

Cross-chain NFT migration refers to the process of transferring digital assets along with their associated functionalities and guarantees between distinct blockchain platforms. However, architectural divergences among these platforms…

软件工程 · 计算机科学 2026-05-01 Mohd Sameen Chishti , Damilare Peter Oyinloye , Jingyue Li

Smart contracts hold digital coins worth billions of dollars, their security issues have drawn extensive attention in the past years. Towards smart contract vulnerability detection, conventional methods heavily rely on fixed expert rules,…

机器学习 · 计算机科学 2021-06-18 Zhenguang Liu , Peng Qian , Xiang Wang , Lei Zhu , Qinming He , Shouling Ji

As cryptocurrency evolved, new financial instruments, such as lending and borrowing protocols, currency exchanges, fungible and non-fungible tokens (NFT), staking and mining protocols have emerged. A financial ecosystem built on top of a…

交易与市场微观结构 · 定量金融 2023-10-12 Priyanka Bose , Dipanjan Das , Fabio Gritti , Nicola Ruaro , Christopher Kruegel , Giovanni Vigna

Non Fungible Tokens have changed digital ownership and how creators earn money. Between 2021 and 2024, the market value exceeded 40 billion. However, the fast growth of the NFT ecosystem has revealed serious issues in managing intellectual…

计算机与社会 · 计算机科学 2025-07-02 Pranav Darshan , Rohan J S , Raghuveer Rajesh , Ruchitha M , Sanika Kamath , Manas M N

The rapid growth of Ethereum has made it more important to quickly and accurately detect smart contract vulnerabilities. While machine-learning-based methods have shown some promise, many still rely on rule-based preprocessing designed by…

密码学与安全 · 计算机科学 2025-12-15 Uisang Lee , Changhoon Chung , Junmo Lee , Soo-Mook Moon