English
Related papers

Related papers: Enhancing Smart Contract Security Analysis with Ex…

200 papers

With the increasing popularity of blockchain, different blockchain platforms coexist in the ecosystem (e.g., Ethereum, BNB, EOSIO, etc.), which prompts the high demand for cross-chain communication. Cross-chain bridge is a specific type of…

Software Engineering · Computer Science 2024-06-25 Zeqin Liao , Yuhong Nan , Henglong Liang , Sicheng Hao , Juan Zhai , Jiajing Wu , Zibin Zheng

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…

Software Engineering · Computer Science 2023-05-03 Monika di Angelo , Gernot Salzer

Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gigantic program" whose behaviors are determined by the…

Cryptography and Security · Computer Science 2025-08-08 Thomas Ball , Nikolaj S. Bjørner , Ashley J. Chen , Shuo Chen , Yang Chen , Zhongxin Guo , Tzu-Han Hsu , Peng Liu , Nanqing Luo

The advent of blockchain technology has facilitated the widespread adoption of smart contracts in the financial sector. However, current fraud detection methodologies exhibit limitations in capturing both global structural patterns within…

Cryptography and Security · Computer Science 2025-01-07 Zhang Sheng , Liangliang Song , Yanbin Wang

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

Cryptography and Security · Computer Science 2024-12-02 Oualid Zaazaa , Hanan El Bakkali

With the development of blockchain technology, the detection of smart contract vulnerabilities is increasingly emphasized. However, when detecting vulnerabilities in inter-contract interactions (i.e., cross-contract vulnerabilities) using…

Cryptography and Security · Computer Science 2024-08-29 Xiao Chen

Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnerabilities$-$at the cost of production efficiency. Recent…

Cryptography and Security · Computer Science 2024-10-23 Tommaso Oss , Carlos E. Budde

While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks. Due to the fact that transactions to smart contracts commonly involve cryptocurrency…

Software Engineering · Computer Science 2019-06-12 Jianbo Gao , Han Liu , Chao Liu , Qingshan Li , Zhi Guan , Zhong Chen

Smart contracts deployed on blockchains such as Ethereum routinely manage large amounts of assets, making their security critical. Empirical studies show that real-world attacks often exploit flaws in the business logic of contracts that…

Cryptography and Security · Computer Science 2026-04-16 Massimo Bartoletti , Angelo Ferrando , Enrico Lipparini , Vadim Malvone

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, a major concern in Ethereum is the security of its smart contracts. Many identified bugs and vulnerabilities in…

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

In this work, we provide a comprehensive survey of smart contract upgradability patterns using proxies. A primary characteristic of smart contracts on the Ethereum blockchain is that they are immutable once implemented, no changes can be…

Cryptography and Security · Computer Science 2023-04-10 Sajad Meisami , William Edward Bodell

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

Cryptography and Security · Computer Science 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

Smart contracts are regarded as one of the most promising and appealing notions in blockchain technology. Their self-enforcing and event-driven features make some online activities possible without a trusted third party. Nevertheless,…

Cryptography and Security · Computer Science 2021-02-16 Bin Hu , Zongyang Zhang , Jianwei Liu , Yizhong Liu , Jiayuan Yin , Rongxing Lu , Xiaodong Lin

The security of smart contracts is critical in blockchain systems, where even minor vulnerabilities can lead to substantial financial losses. Researchers proposed several vulnerability detection tools evaluated using existing benchmarks.…

Software Engineering · Computer Science 2025-04-23 Gerardo Iuliano , Luigi Allocca , Matteo Cicalese , Dario Di Nucci

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

Programming Languages · Computer Science 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich

Smart contracts are essential to decentralized finance (DeFi) and blockchain ecosystems but are increasingly vulnerable to exploits due to coding errors and complex attack vectors. Traditional static analysis tools and existing…

Cryptography and Security · Computer Science 2025-02-20 Jun Kevin , Pujianto Yugopuspito

Blockchain recently became very popular due to its use in cryptocurrencies and potential application in various domains (e.g., retail, healthcare, insurance). The smart contract is a key part of blockchain systems and specifies an agreement…

Cryptography and Security · Computer Science 2023-04-13 Fernando Richter Vidal , Naghmeh Ivaki , Nuno Laranjeiro

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

In recent years we have witnessed a dramatic increase in the adoption and application of smart contracts in a variety of contexts such as decentralized finance, supply chain management, and identity management. However, a critical stumbling…

Cryptography and Security · Computer Science 2024-10-22 Behkish Nassirzadeh , Huaiying Sun , Sebastian Banescu , Vijay Ganesh