中文
相关论文

相关论文: FORGE: An LLM-driven Framework for Large-Scale Sma…

200 篇论文

Software vulnerabilities present a persistent security challenge, with over 25,000 new vulnerabilities reported in the Common Vulnerabilities and Exposures (CVE) database in 2024 alone. While deep learning based approaches show promise for…

密码学与安全 · 计算机科学 2025-07-23 Ahmed Lekssays , Hamza Mouhcine , Khang Tran , Ting Yu , Issa Khalil

Smart contract vulnerabilities pose significant security risks to blockchain systems, potentially leading to severe financial losses. Existing methods face several limitations: (1) Program analysis-based approaches rely on predefined…

软件工程 · 计算机科学 2025-04-17 Hang Yuan , Lei Yu , Zhirong Huang , Jingyuan Zhang , Junyi Lu , Shiqi Cheng , Li Yang , Fengjun Zhang , Jiajia Ma , Chun Zuo

Smart contract vulnerability detection remains a major challenge in blockchain security. Existing vulnerability detection methods face two main issues: (1) Existing datasets lack comprehensive coverage and high-quality explanations for…

密码学与安全 · 计算机科学 2025-06-24 Lei Yu , Zhirong Huang , Hang Yuan , Shiqi Cheng , Li Yang , Fengjun Zhang , Chenjie Shen , Jiajia Ma , Jingyuan Zhang , Junyi Lu , Chun Zuo

The rapid growth of the blockchain ecosystem and the increasing value locked in smart contracts necessitate robust security measures. While languages like Solidity and Move aim to improve smart contract security, vulnerabilities persist.…

密码学与安全 · 计算机科学 2025-11-21 Rabimba Karanjai , Lei Xu , Weidong Shi

We introduce Synthetic Alignment data Generation for Safety Evaluation and Red Teaming (SAGE-RT or SAGE) a novel pipeline for generating synthetic alignment and red-teaming data. Existing methods fall short in creating nuanced and diverse…

Smart contract is a kind of self-executing code based on blockchain technology with a wide range of application scenarios, but the traditional generation method relies on manual coding and expert auditing, which has a high threshold and low…

人工智能 · 计算机科学 2025-05-14 Hao Luo , Yuhao Lin , Xiao Yan , Xintong Hu , Yuxiang Wang , Qiming Zeng , Hao Wang , Jiawei Jiang

With the increasing popularity of cryptocurrencies and blockchain technology, smart contracts have become a prominent feature in developing decentralized applications. However, these smart contracts are susceptible to vulnerabilities that…

软件工程 · 计算机科学 2023-08-22 Jiachi Chen , Mingyuan Huang , Zewei Lin , Peilin Zheng , Zibin Zheng

The rapid evolution of cyber threats has highlighted significant gaps in security knowledge integration. Cybersecurity Knowledge Graphs (CKGs) relying on structured data inherently exhibit hysteresis, as the timely incorporation of rapidly…

密码学与安全 · 计算机科学 2026-02-13 Zijing Xu , Ziwei Ning , Tiancheng Hu , Jianwei Zhuge , Yangyang Wang , Jiahao Cao , Mingwei Xu

As the number of Common Vulnerabilities and Exposures (CVE) continues to grow exponentially, security teams face increasingly difficult decisions about prioritization. Current approaches using Common Vulnerability Scoring System (CVSS)…

密码学与安全 · 计算机科学 2026-03-05 Naoyuki Shimizu , Masaki Hashimoto

Modern blockchain, such as Ethereum, supports the deployment and execution of so-called smart contracts, autonomous digital programs with significant value of cryptocurrency. Executing smart contracts requires gas costs paid by users, which…

新兴技术 · 计算机科学 2024-06-25 Majd Soud , Waltteri Nuutinen , Grischa Liebel

The rapid growth of Decentralized Finance (DeFi) has been accompanied by substantial financial losses due to smart contract vulnerabilities, underscoring the critical need for effective security auditing. With attacks becoming more…

密码学与安全 · 计算机科学 2024-07-23 Jeffy Yu

In recent years, a proliferation of cyber-security threats and diversity has been on the rise culminating in an increase in their reporting and analysis. To counter that, many non-profit organizations have emerged in this domain, such as…

密码学与安全 · 计算机科学 2023-04-24 Ashraf Haddad , Najwa Aaraj , Preslav Nakov , Septimiu Fabian Mare

Large Language Models (LLMs) have been increasingly used to optimize code efficiency. Evaluating their effectiveness and further suggesting optimization opportunities often rely on high-quality tests to demonstrate the performance…

软件工程 · 计算机科学 2025-12-08 Jun Yang , Cheng-Chi Wang , Bogdan Alexandru Stoica , Kexin Pei

The high rate of false alarms from static analysis tools and Large Language Models (LLMs) complicates vulnerability detection in Solidity Smart Contracts, demanding methods that can formally or empirically prove the presence of defects.…

软件工程 · 计算机科学 2025-09-17 Ştefan-Claudiu Susan , Andrei Arusoaie , Dorel Lucanu

Software vulnerabilities remain a critical security challenge, providing entry points for attackers into enterprise networks. Despite advances in security practices, the lack of high-quality datasets capturing diverse exploit behavior…

密码学与安全 · 计算机科学 2025-11-17 Alireza Lotfi , Charalampos Katsis , Elisa Bertino

Smart contracts are central to a myriad of critical blockchain applications, from financial transactions to supply chain management. However, their adoption is hindered by security vulnerabilities that can result in significant financial…

密码学与安全 · 计算机科学 2025-09-30 Dalila Ressi , Alvise Spanò , Lorenzo Benetollo , Carla Piazza , Michele Bugliesi , Sabina Rossi

Semantic identifiers (SIDs) have gained increasing attention in generative retrieval (GR) for recommendation due to their meaningful semantic discriminability. However, current studies in this field primarily (1) offer limited investigation…

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…

This paper introduces \textit{Federated Retrieval-Augmented Generation (FRAG)}, a novel database management paradigm tailored for the growing needs of retrieval-augmented generation (RAG) systems, which are increasingly powered by…

密码学与安全 · 计算机科学 2024-10-18 Dongfang Zhao

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…

密码学与安全 · 计算机科学 2025-01-14 ZeKe Xiao , Qin Wang , Hammond Pearce , Shiping Chen