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…