Qinhan Tan

12 papers A* 2A 1C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification.
ASPLOS (2)
Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan
2026 J jnl
SecIC3: Customizing IC3 for Hardware Security Verification.
CoRR
Qinhan Tan, Akash Gaonkar, Yu-Wei Fan, Aarti Gupta, Sharad Malik
2025 — conf
DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing.
ASPLOS (3)
Jinyan Xu, Yangye Zhou, Xingzhi Zhang, Yinshuai Li, Qinhan Tan, Yinqian Zhang, Yajin Zhou, Rui Chang, Wenbo Shen
2025 J jnl
DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking assisted Processor Fuzzing.
CoRR
Jinyan Xu, Yangye Zhou, Xingzhi Zhang, Yinshuai Li, Qinhan Tan, Yinqian Zhang, Yajin Zhou, Rui Chang, Wenbo Shen
2025 — conf
RTL Verification for Secure Speculation Using Contract Shadow Logic.
ASPLOS (1)
Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan
2024 J jnl
RTL Verification for Secure Speculation Using Contract Shadow Logic.
CoRR
Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan
2023 A* conf
Security Verification of Low-Trust Architectures.
CCS
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
2023 J jnl
Security Verification of Low-Trust Architectures.
CoRR
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
2022 A conf
Usage-Based RTL Subsetting for Hardware Accelerators.
ICCAD
Qinhan Tan, Aarti Gupta, Sharad Malik
2020 J jnl
Efficacy of Satisfiability Based Attacks in the Presence of Circuit Reverse Engineering Errors.
CoRR
Qinhan Tan, Seetal Potluri, Aydin Aysu
2020 C conf
Efficacy of Satisfiability-Based Attacks in the Presence of Circuit Reverse-Engineering Errors.
ISCAS
Qinhan Tan, Seetal Potluri, Aydin Aysu
2020 A* conf
PhantomCache: Obfuscating Cache Conflicts with Localized Randomization.
NDSS
Qinhan Tan, Zhihua Zeng, Kai Bu, Kui Ren