Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing

硬件在设计制造之前通常通过寄存器传输级（RTL）仿真进行验证。为了测试与安全相关的信息流属性（如机密性和完整性），可以在设计中自动添加污点逻辑来跟踪信息如何流动。然而，最先进的污点逻辑仪器（如CellIFT）使基于仿真的测试开销过高：在Me

历史摘要 · 未重新核验 · arXiv cs.CR