Andrew Ferraiuolo
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Hyperflow: A processor architecture for nonmalleable, timing-safe information-flow security
Andrew Ferraiuolo and others (2018) · CCS 2018: Proceedings of the 25th Conference on Computer and Communications Security
Komodo: Using verification to disentangle secure-enclave hardware from software
Andrew Ferraiuolo and others (2017) · ACM