English
Related papers

Related papers: Towards Safer Smart Contracts: A Sequence Learning…

200 papers

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…

Cryptography and Security · Computer Science 2025-06-10 Mesut Ozdag

Recent years have seen an explosion of activity in Generative AI, specifically Large Language Models (LLMs), revolutionising applications across various fields. Smart contract vulnerability detection is no exception; as smart contracts…

Cryptography and Security · Computer Science 2025-04-08 Peter Ince , Jiangshan Yu , Joseph K. Liu , Xiaoning Du

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…

Cryptography and Security · Computer Science 2021-01-11 Nami Ashizawa , Naoto Yanai , Jason Paul Cruz , Shingo Okamura

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…

Cryptography and Security · Computer Science 2024-10-18 Youwei Huang , Sen Fang , Jianwen Li , Bin Hu , Tao Zhang

Smart contracts have transformed decentralized finance by enabling programmable, trustless transactions. However, their widespread adoption and growing financial significance have attracted persistent and sophisticated threats, such as…

Cryptography and Security · Computer Science 2025-08-13 Pasquale De Rosa , Pascal Felber , Valerio Schiavoni

Ethereum smart contracts are highly powerful, immutable, and able to retain massive amounts of tokens. However, smart contracts keep attracting attackers to benefit from smart contract flaws and Ethereum unexpected behavior. Thus,…

Cryptography and Security · Computer Science 2024-04-10 Wejdene Haouari , Abdelhakim Senhaji Hafid , Marios Fokaefs

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…

Cryptography and Security · Computer Science 2023-11-09 Monika di Angelo , Thomas Durieux , João F. Ferreira , Gernot Salzer

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,…

Cryptography and Security · Computer Science 2025-04-22 Hongli Peng , Xiaoqi Li , Wenkai Li

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…

Cryptography and Security · Computer Science 2018-08-27 Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais , Florian Buenzli , Martin Vechev

Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart…

Software Engineering · Computer Science 2020-05-21 Zhipeng Gao , Lingxiao Jiang , Xin Xia , David Lo , John Grundy

While smart contracts are foundational elements of blockchain applications, their inherent susceptibility to security vulnerabilities poses a significant challenge. Existing training datasets employed for vulnerability detection tools may…

Cryptography and Security · Computer Science 2024-10-31 Cuong Tran Manh , Hieu Dinh Vo

Blockchain and Cryptocurrencies are gaining unprecedented popularity and understanding. Meanwhile, Ethereum is gaining a significant popularity in the blockchain community, mainly due to the fact that it is designed in a way that enables…

Cryptography and Security · Computer Science 2018-07-06 TonTon Hsien-De Huang

With the increase of the adoption of blockchain technology in providing decentralized solutions to various problems, smart contracts have become more popular to the point that billions of US Dollars are currently exchanged every day through…

Cryptography and Security · Computer Science 2023-01-24 Feng Mi , Chen Zhao , Zhuoyi Wang , Sadaf MD Halim , Xiaodi Li , Zhouxiang Wu , Latifur Khan , Bhavani Thuraisingham

Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts. Although the literature features a number of proposals for securing smart contracts, these proposals mostly focus on…

Cryptography and Security · Computer Science 2018-12-17 Michael Rodler , Wenting Li , Ghassan O. Karame , Lucas Davi

Ethereum is a permissionless blockchain ecosystem that supports execution of smart contracts, the key enablers of decentralized finance (DeFi) and non-fungible tokens (NFT). However, the expressiveness of Ethereum smart contracts is a…

Cryptography and Security · Computer Science 2023-01-24 Nikolay Ivanov , Qiben Yan , Anurag Kompalli

Smart contracts are susceptible to being exploited by attackers, especially when facing real-world vulnerabilities. To mitigate this risk, developers often rely on third-party audit services to identify potential vulnerabilities before…

Software Engineering · Computer Science 2024-09-17 Che Wang , Jiashuo Zhang , Jianbo Gao , Libin Xia , Zhi Guan , Zhong Chen

Front-running attacks have been a major concern on the blockchain. Attackers launch front-running attacks by inserting additional transactions before upcoming victim transactions to manipulate victim transaction executions and make profits.…

Software Engineering · Computer Science 2023-05-04 Wuqi Zhang , Lili Wei , Shing-Chi Cheung , Yepang Liu , Shuqing Li , Lu Liu , Michael R. Lyu

This paper provides a systematic analysis of the opportunities, challenges, and potential solutions of harnessing Large Language Models (LLMs) such as GPT-4 to dig out vulnerabilities within smart contracts based on our ongoing research.…

Cryptography and Security · Computer Science 2023-10-18 Sihao Hu , Tiansheng Huang , Fatih İlhan , Selim Furkan Tekin , Ling Liu

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…

Cryptography and Security · Computer Science 2025-11-17 Biagio Boi , Christian Esposito

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…

Cryptography and Security · Computer Science 2026-02-03 Jiuyang Bu , Wenkai Li , Zongwei Li , Zeng Zhang , Xiaoqi Li