From the 1 of 8 linked papers with an AI index.
8 papers
ClawSentry: A Progressive Multi-Tier Security Monitor for Safeguarding Autonomous LLM Agents
Kai Wang, Zeming Wei, BiaoJie Zeng +7
As large language model (LLM) agents move from conversation to executing code, reading local files, and orchestrating external tools, a single agent hijacked by a malicious third-p…
AgentWorm: Self-Propagating Attacks Across LLM Agent Ecosystems
Yihao Zhang, Zeming Wei, Xiaokun Luan +7
The paper introduces AgentWorm, a self-replicating worm that can autonomously infect and spread across large-scale LLM-based agent ecosystems by hijacking configurations and execut…
Privacy-Preserving Robustness Verification for Neural Networks
Nianyun Song, Xiaokun Luan, Yu Guo +3
Neural network verification and data privacy are inherently in tension: verification demands full access to model parameters and input data, yet both are increasingly restricted by…
RACC: Representation-Aware Coverage Criteria for LLM Safety Testing
Zeming Wei, Zhixin Zhang, Chengcan Wu +3
Large Language Models (LLMs) face severe safety risks from jailbreak attacks, yet current safety testing largely relies on static datasets and lacks systematic criteria to evaluate…
VOW: Verifiable and Oblivious Watermark Detection for Large Language Models
Xiaokun Luan, Yihao Zhang, Pengcheng Su +2
Large Language Model (LLM) watermarking is crucial for establishing the provenance of machine-generated text, but most existing methods rely on a centralized trust model. This mode…
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
Xinyi Zheng, Ningke Li, Xiaokun Luan +4
Large Language Models (LLMs) have demonstrated impressive reasoning capabilities, leading to their adoption in high-stakes domains such as healthcare, law, and scientific research.…