![](/img/cover-not-exists.png)
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
Ferraiuolo, Andrew, Xu, Rui, Zhang, Danfeng, Myers, Andrew C., Suh, G. EdwardVolume:
51
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/3093315.3037739
Date:
April, 2017
File:
PDF, 1.01 MB
english, 2017