Verification of a Practical Hardware Security Architecture...

ACM SIGOPS Operating Systems Review 2017 / 04 Vol. 51; Iss. 2

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis

Ferraiuolo, Andrew, Xu, Rui, Zhang, Danfeng, Myers, Andrew C., Suh, G. Edward
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
51
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/3093315.3037739
Date:
April, 2017
File:
PDF, 1.01 MB
english, 2017
Conversion to is in progress
Conversion to is failed