中文
相关论文

相关论文: NumScout: Unveiling Numerical Defects in Smart Con…

200 篇论文

Smart contracts have emerged as key components within decentralized environments, enabling the automation of transactions through self-executing programs. While these innovations offer significant advantages, they also present potential…

密码学与安全 · 计算机科学 2025-11-17 Biagio Boi , Christian Esposito

Smart contracts are programs stored and executed on a blockchain. The Ethereum platform, an open-source blockchain-based platform, has been designed to use these programs offering secured protocols and transaction costs reduction. The…

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

Smart contracts on the blockchain offer decentralized financial services but often lack robust security measures, leading to significant economic losses. While substantial research has focused on identifying vulnerabilities in smart…

密码学与安全 · 计算机科学 2024-10-18 Youwei Huang , Sen Fang , Jianwen Li , Bin Hu , Tao Zhang

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

Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present an…

软件工程 · 计算机科学 2020-02-11 Thomas Durieux , João F. Ferreira , Rui Abreu , Pedro Cruz

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

Smart contracts are fundamental pillars of the blockchain, playing a crucial role in facilitating various business transactions. However, these smart contracts are vulnerable to exploitable bugs that can lead to substantial monetary losses.…

软件工程 · 计算机科学 2025-09-30 Xingshuang Lin , Qinge Xie , Binbin Zhao , Yuan Tian , Saman Zonouz , Na Ruan , Jiliang Li , Raheem Beyah , Shouling Ji

With the frantic development of smart contracts on the Ethereum platform, its market value has also climbed. In 2016, people were shocked by the loss of nearly $50 million in cryptocurrencies from the DAO reentrancy attack. Due to the…

软件工程 · 计算机科学 2019-05-03 Xiaotao Feng , Qin Wang , Xiaogang Zhu , Sheng Wen

Hackers may create malicious solidity programs and deploy it in the Ethereum block chain. These malicious smart contracts try to attack legitimate programs by exploiting its vulnerabilities such as reentrancy, tx.origin attack, bad…

密码学与安全 · 计算机科学 2025-12-10 Roopak Surendran

Smart Contracts (SCs) in Ethereum can automate tasks and provide different functionalities to a user. Such automation is enabled by the `Turing-complete' nature of the programming language (Solidity) in which SCs are written. This also…

密码学与安全 · 计算机科学 2021-06-28 Rachit Agarwal , Tanmay Thapliyal , Sandeep Kumar Shukla

Smart contracts are essential for managing digital assets in blockchain networks, highlighting the need for effective security measures. This paper introduces SmartLLMSentry, a novel framework that leverages large language models (LLMs),…

密码学与安全 · 计算机科学 2024-12-02 Oualid Zaazaa , Hanan El Bakkali

Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like decentralized finance (DeFi) and supply-chain management. These types of applications…

密码学与安全 · 计算机科学 2023-11-09 Monika di Angelo , Thomas Durieux , João F. Ferreira , Gernot Salzer

Solidity, the dominant smart contract language for Ethereum, has rapidly evolved with frequent version updates to enhance security, functionality, and developer experience. However, these continual changes introduce significant challenges,…

软件工程 · 计算机科学 2025-08-15 Likai Ye , Mengliang Li , Dehai Zhao , Jiamou Sun , Xiaoxue Ren

There is a huge demand to ensure the compliance of smart contracts listed on blockchain platforms to safety and economic standards. Today, manual efforts in the form of auditing are commonly used to achieve this goal. ML-based automated…

密码学与安全 · 计算机科学 2025-02-11 Shihao Xia , Mengting He , Linhai Song , Yiying Zhang

Smart contract comment generation has gained traction as a means to improve code comprehension and maintainability in blockchain systems. However, evaluating the quality of generated comments remains a challenge. Traditional metrics such as…

人工智能 · 计算机科学 2025-07-29 Fatou Ndiaye Mbodji

As blockchain platforms grow exponentially, millions of lines of smart contract code are being deployed to manage extensive digital assets. However, vulnerabilities in this mission-critical code have led to significant exploitations and…

密码学与安全 · 计算机科学 2024-01-23 Chaofan Shou , Jing Liu , Doudou Lu , Koushik Sen

The proxy design pattern allows Ethereum smart contracts to be simultaneously immutable and upgradeable, in which an original contract is split into a proxy contract containing the data storage and a logic contract containing the…

密码学与安全 · 计算机科学 2024-09-23 Cheng-Kang Chen , Wen-Yi Chu , Muoi Tran , Laurent Vanbever , Hsu-Chun Hsiao

Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have since been used for various applications such as security…

软件工程 · 计算机科学 2024-07-08 Mahdi Fooladgar , Fathiyeh Faghih

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

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