@misc{indiciae867b50dbca59,
  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/29343119581261},
  note = {Source identifier: 29343119581261}
}