English
Related papers

Related papers: FTSmartAudit: A Knowledge Distillation-Enhanced Fr…

200 papers

The surge of digital documents in various formats, including less standardized documents such as business reports and environmental assessments, underscores the growing importance of Document Understanding. While Large Language Models…

Computation and Language · Computer Science 2024-09-18 Marcel Lamott , Muhammad Armaghan Shakir

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they…

Cryptography and Security · Computer Science 2026-02-03 Xiaoqi Li , Zongwei Li , Wenkai Li , Yuqing Zhang , Xin Wang

Artificial Intelligence (AI) has increasingly influenced modern society, recently in particular through significant advancements in Large Language Models (LLMs). However, high computational and storage demands of LLMs still limit their…

Computation and Language · Computer Science 2025-04-23 Daniel Hendriks , Philipp Spitzer , Niklas Kühl , Gerhard Satzger

Smart contracts are a key component of the Web 3.0 ecosystem, widely applied in blockchain services and decentralized applications. However, the automated execution feature of smart contracts makes them vulnerable to potential attacks due…

Cryptography and Security · Computer Science 2025-05-26 Yanli Jin , Chunpei Li , Peng Fan , Peng Liu , Xianxian Li , Chen Liu , Wangjie Qiu

Large Language Models (LLMs) have showcased their remarkable capabilities in diverse domains, encompassing natural language understanding, translation, and even code generation. The potential for LLMs to generate harmful content is a…

Software Engineering · Computer Science 2024-09-17 Mingke Yang , Yuqi Chen , Yi Liu , Ling Shi

Large Language Models generate complex reasoning chains that reveal their decision-making, yet verifying the faithfulness and harmlessness of these intermediate steps remains a critical unsolved problem. Existing auditing methods are…

Artificial Intelligence · Computer Science 2025-10-24 Morris Yu-Chao Huang , Zhen Tan , Mohan Zhang , Pingzhi Li , Zhuo Zhang , Tianlong Chen

We explore using Large Language Models (LLMs) to generate application code that automates health insurance processes from text-based policies. We target blockchain-based smart contracts as they offer immutability, verifiability,…

Computation and Language · Computer Science 2024-07-10 Inwon Kang , William Van Woensel , Oshani Seneviratne

The surge in the adoption of smart contracts necessitates rigorous auditing to ensure their security and reliability. Manual auditing, although comprehensive, is time-consuming and heavily reliant on the auditor's expertise. With the rise…

Software Engineering · Computer Science 2026-02-11 Mohamed Salah Bouafif , Chen Zheng , Ilham Ahmed Qasse , Ed Zulkoski , Mohammad Hamdaqa , Foutse Khomh

Large Language Models (LLMs) have showcased exceptional capabilities in various domains, attracting significant interest from both academia and industry. Despite their impressive performance, the substantial size and computational demands…

Computation and Language · Computer Science 2024-07-03 Chuanpeng Yang , Wang Lu , Yao Zhu , Yidong Wang , Qian Chen , Chenlong Gao , Bingjie Yan , Yiqiang Chen

Smart contract vulnerabilities caused significant economic losses in blockchain applications. Large Language Models (LLMs) provide new possibilities for addressing this time-consuming task. However, state-of-the-art LLM-based detection…

Cryptography and Security · Computer Science 2025-01-14 ZeKe Xiao , Qin Wang , Hammond Pearce , Shiping Chen

With the increasing security issues in blockchain, smart contract vulnerability detection has become a research focus. Existing vulnerability detection methods have their limitations: 1) Static analysis methods struggle with complex…

Cryptography and Security · Computer Science 2025-07-31 Lei Yu , Shiqi Cheng , Zhirong Huang , Jingyuan Zhang , Chenjie Shen , Junyi Lu , Li Yang , Fengjun Zhang , Jiajia Ma

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

Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation…

Cryptography and Security · Computer Science 2019-06-10 Wesley Joon-Wie Tann , Xing Jie Han , Sourav Sen Gupta , Yew-Soon Ong

Deploying accurate Text-to-SQL systems at the enterprise level faces a difficult trilemma involving cost, security and performance. Current solutions force enterprises to choose between expensive, proprietary Large Language Models (LLMs)…

Computation and Language · Computer Science 2026-03-13 Khushboo Thaker , Yony Bresler

Large language models (LLMs) excel at generating code from natural language instructions, yet they often lack an understanding of security vulnerabilities. This limitation makes it difficult for LLMs to avoid security risks in generated…

Cryptography and Security · Computer Science 2025-05-08 Lingxiang Wang , Hainan Zhang , Qinnan Zhang , Ziwei Wang , Hongwei Zheng , Jin Dong , Zhiming Zheng

The exponential growth of Large Language Models (LLMs) continues to highlight the need for efficient strategies to meet ever-expanding computational and data demands. This survey provides a comprehensive analysis of two complementary…

The deployment of Large Language Models (LLMs) in customer support is constrained by hallucination (generating false information) and the high cost of proprietary models. To address these challenges, we propose a retrieval-augmented…

Computation and Language · Computer Science 2025-07-22 Ashley Lewis , Michael White , Jing Liu , Toshiaki Koike-Akino , Kieran Parsons , Ye Wang

Despite the advanced intelligence abilities of large language models (LLMs) in various applications, they still face significant computational and storage demands. Knowledge Distillation (KD) has emerged as an effective strategy to improve…

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

This study analyzes the application of code-generating Large Language Models in the creation of immutable Solidity smart contracts on the Ethereum Blockchain. Other works have previously analyzed Artificial Intelligence code generation…

Software Engineering · Computer Science 2024-11-06 Siddhartha Chatterjee , Bina Ramamurthy