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

Asia and South Pacific Design Automation Conference (ASP-DAC) 2026

View at publisher
Authors: Yuhao Liu, Ying Li, Yinhao Zhou, Chang Guo, Zhenfeng Li, Yanyun Lu
DOI: 10.1109/asp-dac66049.2026.11420553
Cited by: 0
References: 23

Fields of Study & Subjects

Security and Verification in Computing Formal Methods in Verification Embedded Systems Design Techniques

Publication details

Journal / source
Asia and South Pacific Design Automation Conference (ASP-DAC)
Pages
1244–1251
Publication date
19 January 2026
Language
EN