Software

Secure Information Flow Analysis for Hardware Design: Using the Right Abstraction for the Job

Date Added: May 2010
Format: PDF

Hardware designers need to precisely analyze high-level descriptions for illegal information flows. Language-based information flow analysis can be applied to hardware description languages, but a straight-forward application either conservatively rules out many secure hardware designs, or constrains the designers to work at impractically low levels of abstraction. The authors demonstrate that choosing the right level of abstraction for the analysis, by working on Finite State Machines instead of the hardware code, allows both precise information flow analysis and high-level programmability.