Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
Indexed from repository: NASA Technical Reports Server
(
ntrs.nasa.gov)
Document Information
| Document Title | Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis |
|---|---|
| Author / Organization | Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh |
| Subject & Discipline | REPRINT |
| Categories | Aerospace & Aviation |
| Publication Year | 2026 |
| License / Rights | Public Domain / NASA STI Open Access |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
NASA Technical Reports Server
(ntrs.nasa.gov)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-23330 |
| Original Source Link | Visit Source Page on ntrs.nasa.gov » |