Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.

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

Browse the full ASPLOS paper archive.