@misc{indiciaef824929dfa7d,
  title = {Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis},
  author = {Andrew Ferraiuolo and Rui Xu and Danfeng Zhang and Andrew C. Myers and G. Edward Suh},
  year = {2017},
  url = {https://ntrs.nasa.gov/citations/23495833788112},
  note = {Source identifier: 23495833788112}
}