NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
External Source
chorus
Document Type
Version of Record
Authors
Andrew Ferraiuolo
Rui Xu
Danfeng Zhang
Andrew C. Myers
G. Edward Suh
Date Acquired
October 19, 2026
Publication Date
April 4, 2017
Publication Information
Publication: ACM SIGPLAN Notices
Publisher: Association for Computing Machinery (ACM)
Volume: 52
Issue: 4
Issue Publication Date: December 5, 2017
ISSN: 0362-1340
e-ISSN: 1558-1160
DOI: 10.1145/3093336.3037739
Funding Number(s)
funding: NNX16AB09G
funding: CNS-1513797
Distribution Limits
Public

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
Document Not Available for PreviewClick to Access Document