Search NASA⌕ Search

NASA NTRS · 23495833788112

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis

Abstract

The source did not provide an abstract. Follow the original record for more information.

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh. 2017-04-04. Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. https://ntrs.nasa.gov/citations/23495833788112

Cite the original work for its findings. Save a collection to share your selection of sources.