Qinhan Tan

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Cryptographic Protocols

Conceptual Schema

Trust Negotiation

Top Venues

Publications

Qinhan Tan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, Mengjia Yan
RTL Verification for Secure Speculation Using Contract Shadow Logic. CoRR (2024)
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
Security Verification of Low-Trust Architectures. CCS (2023)
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
Security Verification of Low-Trust Architectures. CoRR (2023)
Qinhan Tan, Aarti Gupta, Sharad Malik
Usage-Based RTL Subsetting for Hardware Accelerators. ICCAD (2022)
Qinhan Tan, Seetal Potluri, Aydin Aysu
Efficacy of Satisfiability Based Attacks in the Presence of Circuit Reverse Engineering Errors. CoRR (2020)
Qinhan Tan, Zhihua Zeng, Kai Bu, Kui Ren
PhantomCache: Obfuscating Cache Conflicts with Localized Randomization. NDSS (2020)
Qinhan Tan, Seetal Potluri, Aydin Aysu
Efficacy of Satisfiability-Based Attacks in the Presence of Circuit Reverse-Engineering Errors. ISCAS (2020)