Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andrew Ferraiuolo

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

ACM SIGARCH Computer Architecture News

English