37 citations · 38 across the 6 of their papers we have counts for
9 papers
BenchChecker: Assessing the Credibility of Bug-Fixing Benchmarks for LLMs
Di Wu, Xu He, Shu Wang +1
While Large Language Models (LLMs) show promise for Automatic Program Repair (APR), existing benchmarks suffer from data contamination, in which test samples appear in training set…
C-to-Rust Fallacy: Automatic Refactoring != Memory Security
Hung-Mao Chen, Xu He, Bo Lu +2
Rust has emerged as the leading system programming language, offering strong memory and type safety guarantees without compromising performance. This positions it as a compelling a…
Overflip: Repetition-Induced Label Flips in Guardrail Models
Xu He, Chih-Hsuan Lin, Hung-Mao Chen +3
Guardrail models are classifiers deployed to screen malicious prompts and responses in LLM-based services. To meet latency constraints, many lightweight guardrails adopt compact Tr…
Prompt Overflow: What the Guardrail Inspects Is Not What the Model Infers
Yuanbo Zhou, Changjia Zhu, Junyu Wang +5
Guardrail models (a.k.a. safety checkers) are widely deployed to screen user inputs before they reach large language models (LLMs), serving as a primary defense against prompt inje…
PathFix: Automated Program Repair with Expected Path
Xu He, Shu Wang, Kun Sun
Automated program repair (APR) techniques are effective in fixing inevitable defects in software, enhancing development efficiency and software robustness. However, due to the diff…
SentinelAgent: Graph-based Anomaly Detection in Multi-Agent Systems
Xu He, Di Wu, Yan Zhai +1
The rise of large language model (LLM)-based multi-agent systems (MAS) introduces new security and reliability challenges. While these systems show great promise in decomposing and…
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
Hung-Mao Chen, Xu He, Shu Wang +2
Rust supports type conversions and safe Rust guarantees the security of these conversions through robust static type checking and strict ownership guidelines. However, there are in…
BinGo: Identifying Security Patches in Binary Code with Graph Representation Learning
Xu He, Shu Wang, Pengbin Feng +4
A timely software update is vital to combat the increasing security vulnerabilities. However, some software vendors may secretly patch their vulnerabilities without creating CVE en…
When the Differences in Frequency Domain are Compensated: Understanding and Defeating Modulated Replay Attacks on Automatic Speech Recognition
Shu Wang, Jiahao Cao, Xu He +2
Automatic speech recognition (ASR) systems have been widely deployed in modern smart devices to provide convenient and diverse voice-controlled services. Since ASR systems are vuln…