Qinhan Tan

According to our database, Qinhan Tan authored at least 5 papers between 2020 and 2024.

Collaborative distances:

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

2024

RTL Verification for Secure Speculation Using Contract Shadow Logic.

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

CoRR, 2024

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