Comprehensive processor security verification: A CIA problem

A novel methodology of addressing processor security verification problem by leveraging formal methods with CVSS metrics. This talk shows the methodology and results on several RISC-V processors. This talk was originally presented virtually in DAC 2021.