Qinhan Tan

Orcid: 0000-0003-2475-3675

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
RTL Verification for Secure Speculation Using Contract Shadow Logic.
CoRR, 2024

2023
Security Verification of Low-Trust Architectures.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Usage-Based RTL Subsetting for Hardware Accelerators.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2020
PhantomCache: Obfuscating Cache Conflicts with Localized Randomization.
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2020


  Loading...