Verification of a practical hardware security architecture through static information flow analysis
Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh[doi] [Google Scholar] [DBLP] [Citeseer]
ACM SIGARCH Computer Architecture News
Volume 45
ACM
Pages 555-568
2017
Topic(s): security verification
Note(s): information flow
Volume 45
ACM
Pages 555-568
2017
Topic(s): security verification
Note(s): information flow