6 papers
VSpector: Specification-Driven Bug Detection for RISC-V CPUs
Tianyu Jia, Zhaoyang Yu, Yuanliang Chen +3
Detecting RTL design bugs in open-source RISC-V CPU implementations is critical for ensuring system reliability. Traditional detection approaches inherently rely on predefined arti…
SMTrap: Cost-Effective DoS Attacks Against Large Reasoning Models via SMT Conflict Guidance
Jian Yang, Zhenqi Feng, Zhaoyang Yu +7
Existing LRM-DoS methods rely heavily on model feedback to synthesize attack queries, requiring either repeated queries to the target model or training a dedicated attack model. Th…
Feature Slice Matching for Precise Bug Detection
Ke Ma, Jianjun Huang, Wei You +4
Measuring the function similarity to detect bugs is effective, but the statements unrelated to the bugs can impede the performance due to the noise interference. Suppressing the no…
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
Zian Su, Xiangzhe Xu, Ziyang Huang +4
Transformer based code models have impressive performance in many software engineering tasks. However, their effectiveness degrades when symbols are missing or not informative. The…
Fight Fire with Fire: Combating Adversarial Patch Attacks using Pattern-randomized Defensive Patches
Jianan Feng, Jiachun Li, Changqing Miao +4
Object detection has found extensive applications in various tasks, but it is also susceptible to adversarial patch attacks. The ideal defense should be effective, efficient, easy…
We Can Always Catch You: Detecting Adversarial Patched Objects WITH or WITHOUT Signature
Jiachun Li, Jianan Feng, Jianjun Huang +1
Recently, object detection has proven vulnerable to adversarial patch attacks. The attackers holding a specially crafted patch can hide themselves from state-of-the-art detectors,…