This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Qinhan Tan
A grouping.
Qinhan Tan: formal security verification of processors, 2023-26 - low-trust architectures, contract shadow logic for secure speculation, DejaVuzz transient-execution fuzzing, and SecIC3.
4 references
SecIC3: Customizing IC3 for Hardware Security Verification
Qinhan Tan and others (2026) · Design, Automation and Test in Europe (DATE 2026)
RTL Verification for Secure Speculation Using Contract Shadow Logic
Qinhan Tan and others (2025) · Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), Volume 1
DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing
Jinyan Xu and others (2025) · Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), Volume 3
Security Verification of Low-Trust Architectures
Qinhan Tan and others (2023) · ACM SIGSAC Conference on Computer and Communications Security (CCS '23)