Skip to main navigation Skip to search Skip to main content

Verification of a practical Hardware security architecture through static information flow analysis

  • Andrew Ferraiuolo
  • , Rui Xu
  • , Danfeng Zhang
  • , Andrew C. Myers
  • , G. Edward Suh

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

27   Link opens in a new tab Scopus citations

Fingerprint

Dive into the research topics of 'Verification of a practical Hardware security architecture through static information flow analysis'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science