Login / Signup
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.
Andrew Ferraiuolo
Rui Xu
Danfeng Zhang
Andrew C. Myers
G. Edward Suh
Published in:
ASPLOS (2017)
Keyphrases
</>
flow analysis
low cost
computer systems
information flow