Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL.
Tobias JauchAlex WezelMohammad Rahmani FadihehPhilipp SchmitzSayak RayJason M. FungChristopher W. FletcherDominik StoffelWolfgang KunzPublished in: ICCAD (2023)