3 papers
cs.CR2026
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…
cs.AI2026
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…
cs.LG2026
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…