Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
ACM SIGARCH Computer Architecture News
doi 10.1145/3093337.3037739
Full Text
Open PDFAbstract
Available in full text
Date
May 11, 2017
Authors
Publisher
Association for Computing Machinery (ACM)