中文
相关论文

相关论文: Examining the Effectiveness of Transformer-Based S…

200 篇论文

Ethereum smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. Smart contracts handle and transfer assets of values, offering strong incentives for malicious attacks. Intrusion attacks are…

软件工程 · 计算机科学 2019-11-28 Xinming Wang , Jiahao He , Zhijian Xie , Gansen Zhao , Shing-Chi Cheung

Ethereum Virtual Machine (EVM) is the run-time environment for smart contracts and its vulnerabilities may lead to serious problems to the Ethereum ecology. With lots of techniques being developed for the validation of smart contracts, the…

软件工程 · 计算机科学 2019-04-09 Ying Fu , Meng Ren , Fuchen Ma , Yu Jiang , Heyuan Shi , Jiaguang Sun

In this paper, we present the first large-scale empirical study of smart contract dependencies, analyzing over 41 million contracts and 11 billion interactions on Ethereum up to December 2024. Our results yield four key insights: (1) 59% of…

软件工程 · 计算机科学 2025-04-03 Monica Jin , Raphina Liu , Martin Monperrus

Smart contracts are autonomous software executing predefined conditions. Two of the biggest advantages of the smart contracts are secured protocols and transaction costs reduction. On the Ethereum platform, an open-source blockchain-based…

计算工程、金融与科学 · 计算机科学 2019-05-27 Jeremy Charlier , Radu Statem , Jean Hilger

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming…

软件工程 · 计算机科学 2019-11-25 Pengcheng Zhang , Feng Xiao , Xiapu Luo

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…

The Smart Contract Weakness Classification Registry (SWC Registry) is a widely recognized list of smart contract weaknesses specific to the Ethereum platform. Despite the SWC Registry not being updated with new entries since 2020, the…

软件工程 · 计算机科学 2024-09-20 Zibin Zheng , Jianzhong Su , Jiachi Chen , David Lo , Zhijie Zhong , Mingxi Ye

Programming errors in Ethereum smart contracts can result in catastrophic financial losses from stolen cryptocurrency. While vulnerability detectors can prevent vulnerable contracts from being deployed, this does not mean that such…

密码学与安全 · 计算机科学 2021-09-03 Simon Joseph Aquilina , Fran Casino , Mark Vella , Joshua Ellul , Constantinos Patsakis

Despite the rapid growth of smart contracts, they are suffering numerous security vulnerabilities due to the absence of reliable development and testing. In this article, we apply the metamorphic testing technique to detect smart contract…

软件工程 · 计算机科学 2023-03-07 Jiahao Li

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

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

As blockchain technology and smart contracts become widely adopted, securing them throughout every stage of the transaction process is essential. The concern of improved security for smart contracts is to find and detect vulnerabilities…

密码学与安全 · 计算机科学 2025-03-11 S M Mostaq Hossain , Amani Altarawneh , Jesse Roberts

Modern blockchains, such as Ethereum, enable the execution of so-called smart contracts - programs that are executed across a decentralised network of nodes. As smart contracts become more popular and carry more value, they become more of…

密码学与安全 · 计算机科学 2019-05-31 Christof Ferreira Torres , Mathis Steichen , Radu State

WebAssembly (WASM) has emerged as a crucial technology in smart contract development for several blockchain platforms. Unfortunately, since their introduction, WASM smart contracts have been subject to several security incidents caused by…

密码学与安全 · 计算机科学 2024-12-06 Wansen Wang , Caichang Tu , Zhaoyi Meng , Wenchao Huang , Yan Xiong

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

As blockchain technology continues to evolve, the security of smart contracts has increasingly drawn attention from both academia and industry. The Move language, with its unique resource model and linear type system, provides a solid…

密码学与安全 · 计算机科学 2026-02-03 Yuhe Luo , Zhongwen Li , Xiaoqi Li

Smart contracts are the cornerstone of decentralized applications and financial protocols, which extend the application of digital currency transactions. The applications and financial protocols introduce significant security challenges,…

密码学与安全 · 计算机科学 2025-04-22 Hongli Peng , Xiaoqi Li , Wenkai Li

Smart contracts are a secure and trustworthy application that plays a vital role in decentralized applications in various fields such as insurance,the internet, and gaming. However, in recent years, smart contract security breaches have…

密码学与安全 · 计算机科学 2026-01-19 Jixuan Wu , Lei Xie , Xiaoqi Li

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

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