@misc{indiciae2326df22a3ff,
  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},
  url = {https://ntrs.nasa.gov/citations/17159270933858},
  note = {Source identifier: 17159270933858}
}