![](/img/cover-not-exists.png)
Identifying Security Critical Properties for the Dynamic Verification of a Processor
Zhang, Rui, Stanley, Natalie, Griggs, Christopher, Chi, Andrew, Sturton, CynthiaVolume:
45
Language:
english
Journal:
ACM SIGARCH Computer Architecture News
DOI:
10.1145/3093337.3037734
Date:
April, 2017
File:
PDF, 915 KB
english, 2017