activity
20242026
most citedFORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols

9 citations · 11 across the 7 of their papers we have counts for

collaborators

7 papers

cs.CR2026

From Documentation to Zero-day Vulnerabilities: LLM-Driven Fuzzing of JavaScript Engines in PDF Readers

Suyue Guo, Stijn Pletinckx, Tianle Yu +5

Existing fuzzers for PDF readers rely on simple test cases that involve only individual API calls, leading to limited coverage and potentially missing vulnerabilities that require…

cs.CR2026

SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing

Junmin Zhu, Siyu Liu, Jie Hu +7

Directed fuzzing steers fuzzers toward user-defined sink functions to identify vulnerabilities, but it frequently fails to trigger crashes even after long campaigns. We identify tw…

cs.CR2026

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery

Md Shafiuzzaman, Achintya Desai, Wenbo Guo +1

Symbolic execution detects vulnerabilities with precision, but applying it to large codebases requires harnesses that set up symbolic state, model dependencies, and specify asserti…

cs.AI2026

ShieldNet: Network-Level Guardrails against Emerging Supply-Chain Injections in Agentic Systems

Zhuowen Yuan, Zhaorun Chen, Zhen Xiang +5

Existing research on LLM agent security mainly focuses on prompt injection and unsafe input/output behaviors. However, as agents increasingly rely on third-party tools and MCP serv…

cs.CR2026

An Empirical Study of Observability Limits in Advanced Software Supply Chain Attacks

Zhuoran Tan, Wenbo Guo, Jiewen Luo +3

Advanced software supply chain (SSC) attacks are increasingly runtime-only and leave fragmented evidence across hosts, services, and build/dependency layers, making any single tele…

cs.CR2025★ 2 cited

From CVE Entries to Verifiable Exploits: An Automated Multi-Agent Framework for Reproducing CVEs

Saad Ullah, Praneeth Balasubramanian, Wenbo Guo +5

High-quality datasets of real-world vulnerabilities and their corresponding verifiable exploits are crucial resources in software security research. Yet such resources remain scarc…

cs.CR2024★ 9 cited

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols

Hongbo Wen, Hanzhi Liu, Jiaxin Song +3

Blockchain adoption has surged with the rise of Decentralized Finance (DeFi) applications. However, the significant value of digital assets managed by DeFi protocols makes them pri…