English
Related papers

Related papers: SmartBugBert: BERT-Enhanced Vulnerability Detectio…

200 papers

Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that…

Cryptography and Security · Computer Science 2019-11-07 Jialiang Chang , Bo Gao , Hao Xiao , Jun Sun , Yan Cai , Zijiang Yang

Due to the inherent immutability of blockchain technology, smart contract updates require their deployment at new addresses rather than modifying existing ones, thus fragmenting version histories and creating critical blind spots for…

Software Engineering · Computer Science 2025-07-09 Fatou Ndiaye Mbodji , Vinny Adjibi , Moustapha Awwalou Diouf , Gervais Mendy , Kui Liu , Jacques Klein , Tegawende Bissyande

Smart contracts play a central role in blockchain systems by encoding financial and operational logic. Still, their susceptibility to subtle security flaws poses significant risks of financial loss and erosion of trust. LLMs create new…

Artificial Intelligence · Computer Science 2026-03-24 Eduardo Sardenberg , Antonio José Grandson Busson , Daniel de Sousa Moraes , Julio Cesar Duarte , Sérgio Colcher

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-24 Khalid Hassan , Saeed Moradi , Shaiful Chowdhury , Sara Rouhani

Ethereum Smart contracts use blockchain to transfer values among peers on networks without central agency. These programs are deployed on decentralized applications running on top of the blockchain consensus protocol to enable people to…

Cryptography and Security · Computer Science 2021-05-10 Noama Fatima Samreen , Manar H. Alalfi

This paper introduces a method for detecting vulnerabilities in smart contracts using static analysis and a multi-objective optimization algorithm. We focus on four types of vulnerabilities: reentrancy, call stack overflow, integer…

Software Engineering · Computer Science 2024-10-02 Dongcheng Li , W. Eric Wong , Xiaodan Wang , Sean Pan , Liang-Seng Koh

Smart Contract Vulnerability Detection (SCVD) is crucial to guarantee the quality of blockchain-based systems. Graph neural networks have been shown to be effective in learning semantic representations of smart contract code and are…

Cryptography and Security · Computer Science 2024-07-09 Yizhou Chen

Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make…

Software Engineering · Computer Science 2018-08-06 Bo Jiang , Ye Liu , W. K. Chan

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…

Software Engineering · Computer Science 2019-11-25 Pengcheng Zhang , Feng Xiao , Xiapu Luo

Ethereum smart contracts are automated decentralized applications on the blockchain that describe the terms of the agreement between buyers and sellers, reducing the need for trusted intermediaries and arbitration. However, the deployment…

Cryptography and Security · Computer Science 2021-03-24 Oliver Lutz , Huili Chen , Hossein Fereidooni , Christoph Sendner , Alexandra Dmitrienko , Ahmad Reza Sadeghi , Farinaz Koushanfar

Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a contract on the blockchain system and transfer all the…

Software Engineering · Computer Science 2020-10-07 Jiachi Chen

With its unique advantages such as decentralization and immutability, blockchain technology has been widely used in various fields in recent years. The smart contract running on the blockchain is also playing an increasingly important role…

Cryptography and Security · Computer Science 2021-06-22 Mengjie Ding , Peiru Li , Shanshan Li , He Zhang

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

A widespread belief in the blockchain security community is that automated techniques are only good for detecting shallow bugs, typically of small value. In this paper, we present the techniques and insights that have led us to repeatable…

Recently, smart contracts have played a vital role in automatic financial and business transactions. To help end users without programming background to better understand the logic of smart contracts, previous studies have proposed models…

Software Engineering · Computer Science 2025-03-20 Jianhang Xiang , Zhipeng Gao , Lingfeng Bao , Xing Hu , Jiayuan Chen , Xin Xia

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…

Software Engineering · Computer Science 2019-11-28 Xinming Wang , Jiahao He , Zhijian Xie , Gansen Zhao , Shing-Chi Cheung

Adversarial smart contracts, mostly on EVM-compatible chains like Ethereum and BSC, are deployed as EVM bytecode to exploit vulnerable smart contracts for financial gain. Detecting such malicious contracts at the time of deployment is an…

Cryptography and Security · Computer Science 2025-11-17 Yating Liu , Xing Su , Hao Wu , Sijin Li , Yuxi Cheng , Fengyuan Xu , Sheng Zhong

Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many approaches have been proposed to detect defects and security problems before smart contracts become persistent in the blockchain and they…

Software Engineering · Computer Science 2021-03-17 Filippo Contro , Marco Crosara , Mariano Ceccato , Mila Dalla Preda

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…

Software Engineering · Computer Science 2019-05-03 Xiaotao Feng , Qin Wang , Xiaogang Zhu , Sheng Wen

Smart contracts, closely intertwined with cryptocurrency transactions, have sparked widespread concerns about considerable financial losses of security issues. To counteract this, a variety of tools have been developed to identify…

Cryptography and Security · Computer Science 2025-02-26 Guokai Sun , Yuan Zhuang , Shuo Zhang , Xiaoyu Feng , Zhenguang Liu , Liguo Zhang