Qinhan Tan

According to our database, Qinhan Tan authored at least 8 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SecIC3: Customizing IC3 for Hardware Security Verification.

Qinhan Tan, Akash Gaonkar, Yu-Wei Fan, Aarti Gupta, Sharad Malik

Proceedings of the Design, Automation & Test in Europe Conference, 2026

Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification.

Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

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

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

RTL Verification for Secure Speculation Using Contract Shadow Logic.

Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2023

Security Verification of Low-Trust Architectures.

Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Usage-Based RTL Subsetting for Hardware Accelerators.

Qinhan Tan, Aarti Gupta, Sharad Malik

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2020

PhantomCache: Obfuscating Cache Conflicts with Localized Randomization.

Qinhan Tan, Zhihua Zeng, Kai Bu, Kui Ren

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Efficacy of Satisfiability-Based Attacks in the Presence of Circuit Reverse-Engineering Errors.

Qinhan Tan, Seetal Potluri, Aydin Aysu

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020