Efficacy of Satisfiability-Based Attacks in the Presence of Circuit Reverse-Engineering Errors. - Qinhan Tan; Seetal Potluri; Aydin Aysu (ISCAS, 2020)

PhantomCache: Obfuscating Cache Conflicts with Localized Randomization. - Qinhan Tan; Zhihua Zeng; Kai Bu; Kui Ren 001 (NDSS, 2020)

Usage-Based RTL Subsetting for Hardware Accelerators. - Qinhan Tan; Aarti Gupta; Sharad Malik (ICCAD, 2022)

Security Verification of Low-Trust Architectures. - Qinhan Tan; Yonathan Fisseha; Shibo Chen 001; Lauren Biernacki; Jean-Baptiste Jeannin; Sharad Malik; Todd M. Austin (CCS, 2023)

RTL Verification for Secure Speculation Using Contract Shadow Logic. - Qinhan Tan; Yuheng Yang; Thomas Bourgeat; Sharad Malik; Mengjia Yan 001 (ASPLOS (1), 2025)

DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking assisted Processor Fuzzing. - Jinyan Xu; Yangye Zhou; Xingzhi Zhang; Yinshuai Li; Qinhan Tan; Yinqian Zhang; Yajin Zhou; Rui Chang; Wenbo Shen (CoRR, 2025)