2 papers
cs.CR2026
Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing
Yu-Wei Fan, Yuheng Yang, Christine Guo +4
Register-Transfer Level (RTL) simulation is widely used to test hardware before it is fabricated. To allow testing for security related information flow properties, such as confide…
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…