中文
相关论文

相关论文: GPTScan: Detecting Logic Vulnerabilities in Smart …

200 篇论文

Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of…

软件工程 · 计算机科学 2021-06-08 Xiao Liang Yu , Omar Al-Bataineh , David Lo , Abhik Roychoudhury

Blockchain platforms and smart contracts are vulnerable to security breaches. Security breaches of smart contracts have led to huge financial losses in terms of cryptocurrencies and tokens. In this paper, we present a systematic survey of…

密码学与安全 · 计算机科学 2022-12-16 S. Vani , M. Doshi , A. Nanavati , A. Kundu

Currently, smart contract vulnerabilities (SCVs) have emerged as a major factor threatening the transaction security of blockchain. Existing state-of-the-art methods rely on deep learning to mitigate this threat. They treat each input…

密码学与安全 · 计算机科学 2024-04-30 Yizhou Chen , Zeyu Sun , Zhihao Gong , Dan Hao

Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and…

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

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…

密码学与安全 · 计算机科学 2026-02-03 Xiaoqi Li , Zongwei Li , Wenkai Li , Yuqing Zhang , Xin Wang

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

Security issues are becoming increasingly significant with the rapid evolution of Non-fungible Tokens (NFTs). As NFTs are traded as digital assets, they have emerged as prime targets for cyber attackers. In the development of NFT smart…

密码学与安全 · 计算机科学 2026-01-16 Yuanzheng Niu , Xiaoqi Li , Wenkai Li

Large language models (LLMs) have been widely adopted in modern software development lifecycles, where they are increasingly used to automate and assist code generation, significantly improving developer productivity and reducing…

密码学与安全 · 计算机科学 2026-02-05 Hoang Long Do , Nasrin Sohrabi , Muneeb Ul Hassan

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

Even though much progress has been made in identifying and mitigating smart contract vulnerabilities, we often hear about coding or design issues leading to great financial losses. This paper presents our progress toward finding defects…

计算机科学中的逻辑 · 计算机科学 2024-11-01 Stefan-Claudiu Susan

The rise of decentralized applications (dApps) has made smart contracts imperative components of blockchain technology. As many smart contracts process financial transactions, their security is paramount. Moreover, the immutability of…

分布式、并行与集群计算 · 计算机科学 2024-07-24 Khalid Hassan , Saeed Moradi , Shaiful Chowdhury , Sara Rouhani

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, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such…

密码学与安全 · 计算机科学 2025-06-10 Mesut Ozdag

An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23…

软件工程 · 计算机科学 2020-01-13 Alex Groce , Josselin Feist , Gustavo Grieco , Michael Colburn

Traditional approaches for smart contract analysis often rely on intermediate representations such as abstract syntax trees, control-flow graphs, or static single assignment form. However, these methods face limitations in capturing both…

密码学与安全 · 计算机科学 2026-04-15 Xiaoqi Li , Hailu Kuang , Wenkai Li , Zongwei Li , Shipeng Ye

Smart contracts deployed on blockchain platforms are vulnerable to various security vulnerabilities. However, only a small number of Ethereum contracts have released their source code, so vulnerability detection at the bytecode level is…

密码学与安全 · 计算机科学 2026-02-03 Jiuyang Bu , Wenkai Li , Zongwei Li , Zeng Zhang , Xiaoqi Li

Smart contract vulnerabilities, particularly improper Access Control that allows unauthorized execution of restricted functions, have caused billions of dollars in losses. GitHub hosts numerous smart contract repositories containing source…

软件工程 · 计算机科学 2025-10-23 Chong Chen , Jiachi Chen , Lingfeng Bao , David Lo , Yanlin Wang , Zhenyu Shan , Ting Chen , Guangqiang Yin , Jianxing Yu , Zibin Zheng

Decentralized applications (DApps) face significant security risks due to vulnerabilities in smart contracts, with traditional detection methods struggling to address emerging and machine-unauditable flaws. This paper proposes a novel…

密码学与安全 · 计算机科学 2026-02-03 Jiuyang Bu , Wenkai Li , Zongwei Li , Zeng Zhang , Xiaoqi Li

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

Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers,…

编程语言 · 计算机科学 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich