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/29343119581261
ID  - 29343119581261
ER  -