TY  - RPRT
TI  - Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
AU  - Andrew Ferraiuolo
AU  - Rui Xu
AU  - Danfeng Zhang
AU  - Andrew C. Myers
AU  - G. Edward Suh
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/23495833788112
ID  - 23495833788112
ER  -