RTL Verification for Secure Speculation Using Cascaded Two-Phase Information Flow Tracking.

Yuhao Liu, Ying Li, Yinhao Zhou, Chang Guo, Zhenfeng Li, Yanyun Lu

Browse the full ASPDAC paper archive.