English
Related papers

Related papers: Smart Contract Vulnerability Detection Technique: …

200 papers

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

Software development is a very broad activity that captures the entire life cycle of a software, which includes designing, programming, maintenance and so on. In this study, we focus on the maintenance-related concerns of the…

Software Engineering · Computer Science 2021-08-18 Jiachi Chen , Xin Xia , David Lo , John Grundy , Xiaohu Yang

In Ethereum, the practice of verifying the validity of the passed addresses is a common practice, which is a crucial step to ensure the secure execution of smart contracts. Vulnerabilities in the process of address verification can lead to…

Cryptography and Security · Computer Science 2024-06-03 Tianle Sun , Ningyu He , Jiang Xiao , Yinliang Yue , Xiapu Luo , Haoyu Wang

With the rapid growth of blockchain technology, smart contracts are now crucial to Decentralized Finance (DeFi) applications. Effective vulnerability detection is vital for securing these contracts against hackers and enhancing the accuracy…

Software Engineering · Computer Science 2024-12-25 Jango Zhang

Smart contracts enable contract terms to be automatically executed and verified on the blockchain, and recent years have witnessed numerous applications of them in areas such as financial institutions and supply chains. The execution logic…

Software Engineering · Computer Science 2025-12-16 Lantian Li , Yuyu Chen , Jingwen Wu , Yue Pan , Zhongxing Yu

The widespread adoption of blockchain technology has amplified the spectrum of potential threats to its integrity and security. The ongoing quest to exploit vulnerabilities emphasizes how critical it is to expand on current research…

Cryptography and Security · Computer Science 2024-04-30 Kaustubh Dwivedi , Ankit Agrawal , Ashutosh Bhatia , Kamlesh Tiwari

An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a…

Cryptography and Security · Computer Science 2017-10-18 Maher Alharby , Aad van Moorsel

Smart contracts with external data are crucial for functionality but pose security and reliability concerns. Statistical and quantitative studies on this interaction are scarce. To address this gap, we analyzed 10,500 smart contracts,…

Cryptography and Security · Computer Science 2026-02-10 Yishun Wang , Xiaoqi Li , Shipeng Ye , Lei Xie , Ju Xing

Ethereum has officially provided a set of system-level cryptographic APIs to enhance smart contracts with cryptographic capabilities. These APIs have been utilized in over 10% of Ethereum transactions, motivating developers to implement…

Cryptography and Security · Computer Science 2024-08-12 Jiashuo Zhang , Yiming Shen , Jiachi Chen , Jianzhong Su , Yanlin Wang , Ting Chen , Jianbo Gao , Zhong Chen

The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge…

Programming Languages · Computer Science 2021-03-04 Shaokai Lin , Xinyuan Sun , Jianan Yao , Ronghui Gu

Smart contracts are small programs that run autonomously on the blockchain, using it as their persistent memory. The predominant platform for smart contracts is the Ethereum VM (EVM). In EVM smart contracts, a problem with significant…

Programming Languages · Computer Science 2025-12-01 Sifis Lagouvardos , Yannis Bollanos , Michael Debono , Neville Grech , Yannis Smaragdakis

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

Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is important to ensure…

Software Engineering · Computer Science 2019-08-13 Haoran Wu , Xingya Wang , Jiehui Xu , Weiqin Zou , Lingming Zhang , Zhenyu Chen

With blockchain technology rapidly progress, the smart contracts have become a common tool in a number of industries including finance, healthcare, insurance and gaming. The number of smart contracts has multiplied, and at the same time,…

Cryptography and Security · Computer Science 2023-04-27 Mohammad Khodadadi , Jafar Tahmoresnezhad

In recent years, Ethereum gained tremendously in popularity, growing from a daily transaction average of 10K in January 2016 to an average of 500K in January 2020. Similarly, smart contracts began to carry more value, making them appealing…

Cryptography and Security · Computer Science 2021-01-18 Christof Ferreira Torres , Antonio Ken Iannillo , Arthur Gervais , Radu State

Blockchain-based smart contract has become a growing field in the blockchain technology. What was once a technology used to solve digital transaction issues turns out to have some wider usage, including smart contract. The development of…

Cryptography and Security · Computer Science 2021-08-23 Fengkie Junis , Faisal Malik Widya Prasetya , Farouq Ibrahim Lubay , Anny Kartika Sari

Modern blockchains, such as Ethereum, enable the execution of so-called smart contracts - programs that are executed across a decentralised network of nodes. As smart contracts become more popular and carry more value, they become more of…

Cryptography and Security · Computer Science 2019-05-31 Christof Ferreira Torres , Mathis Steichen , Radu State

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 industrial market continuously needs reliable solutions to secure autonomous systems. Especially as these systems become more complex and interconnected, reliable security solutions are becoming increasingly important. One promising…

Cryptography and Security · Computer Science 2025-06-30 Önder Gürcan

With the advance application of blockchain technology in various fields, ensuring the security and stability of smart contracts has emerged as a critical challenge. Current security analysis methodologies in vulnerability detection can be…

Cryptography and Security · Computer Science 2025-07-31 Chenyang Peng , Haijun Wang , Yin Wu , Hao Wu , Ming Fan , Yitao Zhao , Ting Liu