1 citations · 1 across the 2 of their papers we have counts for
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.AR2024★ 1 cited
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…