English
Related papers

Related papers: A Context-Driven Approach for Co-Auditing Smart Co…

200 papers

We investigate the feasibility of employing large language models (LLMs) for conducting the security audit of smart contracts, a traditionally time-consuming and costly process. Our research focuses on the optimization of prompt engineering…

Cryptography and Security · Computer Science 2023-06-23 Isaac David , Liyi Zhou , Kaihua Qin , Dawn Song , Lorenzo Cavallaro , Arthur Gervais

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 are decentralized applications built atop blockchains like Ethereum. Recent research has shown that large language models (LLMs) have potential in auditing smart contracts, but the state-of-the-art indicates that even GPT-4…

Software Engineering · Computer Science 2024-09-17 Wei Ma , Daoyuan Wu , Yuqiang Sun , Tianwen Wang , Shangqing Liu , Jian Zhang , Yue Xue , Yang Liu

Large Language Models (LLMs) have shown great promise in code analysis and auditing; however, they still struggle with hallucinations and limited context-aware reasoning. We introduce SmartAuditFlow, a novel Plan-Execute framework that…

Cryptography and Security · Computer Science 2025-05-23 Zhiyuan Wei , Jing Sun , Zijian Zhang , Zhe Hou , Zixiao Zhao

This paper presents LLMBugScanner, a large language model (LLM) based framework for smart contract vulnerability detection using fine-tuning and ensemble learning. Smart contract auditing presents several challenges for LLMs: different…

Cryptography and Security · Computer Science 2025-12-03 Yining Yuan , Yifei Wang , Yichang Xu , Zachary Yahn , Sihao Hu , Ling Liu

Dialogue data has been a key source for understanding learning processes, offering critical insights into how students engage in collaborative discussions and how these interactions shape their knowledge construction. The advent of Large…

Computation and Language · Computer Science 2025-04-29 Ying Na , Shihui Feng

The immutable nature of blockchain technology, while revolutionary, introduces significant security challenges, particularly in smart contracts. These security issues can lead to substantial financial losses. Current tools and approaches…

Cryptography and Security · Computer Science 2024-11-05 Zhiyuan Wei , Jing Sun , Zijiang Zhang , Xianhao Zhang , Meng Li , Zhe Hou

The rapid growth of blockchain technology has driven the widespread adoption of smart contracts. However, their inherent vulnerabilities have led to significant financial losses. Traditional auditing methods, while essential, struggle to…

Cryptography and Security · Computer Science 2025-11-04 Zhiyuan Wei , Jing Sun , Zijian Zhang , Xianhao Zhang , Zhe Hou

Smart contracts on blockchains are prone to diverse security vulnerabilities that can lead to significant financial losses due to their immutable nature. Existing detection approaches often lack flexibility across vulnerability types and…

Cryptography and Security · Computer Science 2026-05-06 Xing Zhang , Keyu Zhang , Taohong Zhu , Anbang Ruan

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

Manufacturing quality audits are pivotal for ensuring high product standards in mass production environments. Traditional auditing processes, however, are labor-intensive and reliant on human expertise, posing challenges in maintaining…

Computation and Language · Computer Science 2024-10-11 Xu Yao , Xiaoxu Wu , Xi Li , Huan Xu , Chenlei Li , Ping Huang , Si Li , Xiaoning Ma , Jiulong Shan

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 rapid development of blockchain technology, smart contract security has become a critical challenge. Existing smart contract vulnerability detection methods face three main issues: (1) Insufficient quality of datasets, lacking…

Cryptography and Security · Computer Science 2024-11-12 Lei Yu , Shiqi Chen , Hang Yuan , Peng Wang , Zhirong Huang , Jingyuan Zhang , Chenjie Shen , Fengjun Zhang , Li Yang , Jiajia Ma

Ensuring the correctness of smart contracts is critical, as even subtle flaws can lead to severe financial losses. While bug detection tools able to spot common vulnerability patterns can serve as a first line of defense, most real-world…

Cryptography and Security · Computer Science 2026-01-12 Massimo Bartoletti , Enrico Lipparini , Livio Pompianu

Smart contracts, as a key component of blockchain technology, play a crucial role in ensuring the automation of transactions and adherence to protocol rules. However, smart contracts are susceptible to security vulnerabilities, which, if…

Cryptography and Security · Computer Science 2024-02-20 Yuying Du , Xueyan Tang

Vulnerability detection is a critical aspect of software security. Accurate detection is essential to prevent potential security breaches and protect software systems from malicious attacks. Recently, vulnerability detection methods…

Software Engineering · Computer Science 2025-04-24 Yixin Yang , Bowen Xu , Xiang Gao , Hailong Sun

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

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 use of large language model (LLM)-powered chatbots, such as ChatGPT, has become popular across various domains, supporting a range of tasks and processes. However, due to the intrinsic complexity of LLMs, effective prompting is more…

Recently, advanced Large Language Models (LLMs) such as GPT-4 have been integrated into many real-world applications like Code Copilot. These applications have significantly expanded the attack surface of LLMs, exposing them to a variety of…

Cryptography and Security · Computer Science 2024-07-24 Huiyu Xu , Wenhui Zhang , Zhibo Wang , Feng Xiao , Rui Zheng , Yunhe Feng , Zhongjie Ba , Kui Ren
‹ Prev 1 2 3 10 Next ›