5 papers
Claim-Gated Source-Risk Auditing for Generative Search
Kainan Zhou, Chuhong Xu, Gangzhen Qian +1
A generative search answer can cite a supported passage yet omit a source relationship that changes its interpretation. We specify a claim-gated audit of the query-source-answer tu…
Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies
Hang Xiao, Chuhong Xu, Kainan Zhou +2
AI-generated RTL verification plans can satisfy a provider schema yet fail at the boundary to trusted execution. We present SecTB-RTL, an auditable framework covering 31 tasks and…
Query-Aware Source-Risk Triage for Retrieval-Augmented Generation
Kainan Zhou, Gangzhen Qian, Chuhong Xu +1
Retrieval-augmented generation (RAG) pipelines may omit a source's material relationship to the query. We study a pre-generation triage layer that treats this relationship as query…
IBBench-Light: A Paired Evaluation of Task-Conditioned Responses to External Directives
Kainan Zhou, Gangzhen Qian, Zhaoyi Li +1
An external record may contain a procedure to apply or text to read, depending on the user's request. IBBench-Light tests both uses against the same record. Twelve semantic bases y…
Protocol effects on feature-based hardware-Trojan detection across Trust-Hub families
Hang Xiao, Chuhong Xu, Kainan Zhou +2
Trust-Hub reuses host circuits: several files differ mainly in the inserted Trojan. When gates from sibling variants enter both training and test folds, a detector can benefit from…