2 papers
cs.CR2026
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…
cs.AR2025
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…