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
UR  - https://ntrs.nasa.gov/citations/17159270933858
ID  - 17159270933858
ER  -