7 citations · 8 across the 4 of their papers we have counts for
4 papers
SecIC3: Customizing IC3 for Hardware Security Verification
Qinhan Tan, Akash Gaonkar, Yu-Wei Fan +2
Recent years have seen significant advances in using formal verification to check hardware security properties. Of particular practical interest are checking confidentiality and in…
DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking assisted Processor Fuzzing
Jinyan Xu, Yangye Zhou, Xingzhi Zhang +6
Transient execution vulnerabilities have emerged as a critical threat to modern processors. Hardware fuzzing testing techniques have recently shown promising results in discovering…
RTL Verification for Secure Speculation Using Contract Shadow Logic
Qinhan Tan, Yuheng Yang, Thomas Bourgeat +2
Modern out-of-order processors face speculative execution attacks. Despite various proposed software and hardware mitigations to prevent such attacks, new attacks keep arising from…
Security Verification of Low-Trust Architectures
Qinhan Tan, Yonathan Fisseha, Shibo Chen +4
Low-trust architectures work on, from the viewpoint of software, always-encrypted data, and significantly reduce the amount of hardware trust to a small software-free enclave compo…