6 papers
Provably Secure Agent Guardrail
Benlong Wu, Weiming Zhang, Kejiang Chen +2
As large language models transition from bounded generative engines to agents with expansive execution privileges, AI going out of control precipitates a fundamental crisis in arti…
STEAD: Robust Provably Secure Linguistic Steganography with Diffusion Language Model
Yuang Qi, Na Zhao, Qiyi Yao +4
Recent provably secure linguistic steganography (PSLS) methods rely on mainstream autoregressive language models (ARMs) to address historically challenging tasks, that is, to disgu…
BinMetric: A Comprehensive Binary Analysis Benchmark for Large Language Models
Xiuwei Shang, Guoqiang Chen, Shaoyin Cheng +5
Binary analysis remains pivotal in software security, offering insights into compiled programs without source code access. As large language models (LLMs) continue to excel in dive…
CompileAgent: Automated Real-World Repo-Level Compilation with Tool-Integrated LLM-based Agent System
Li Hu, Guoqiang Chen, Xiuwei Shang +6
With open-source projects growing in size and complexity, manual compilation becomes tedious and error-prone, highlighting the need for automation to improve efficiency and accurac…
AutoPT: How Far Are We from the End2End Automated Web Penetration Testing?
Benlong Wu, Guoqiang Chen, Kejiang Chen +5
Penetration testing is essential to ensure Web security, which can detect and fix vulnerabilities in advance, and prevent data leakage and serious consequences. The powerful infere…
Binary Code Similarity Detection via Graph Contrastive Learning on Intermediate Representations
Xiuwei Shang, Li Hu, Shaoyin Cheng +4
Binary Code Similarity Detection (BCSD) plays a crucial role in numerous fields, including vulnerability detection, malware analysis, and code reuse identification. As IoT devices…