Follow
Andrew Ferraiuolo
Andrew Ferraiuolo
Research Scientist at Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Komodo: Using verification to disentangle secure-enclave hardware from software
A Ferraiuolo, A Baumann, C Hawblitzel, B Parno
Proceedings of the 26th Symposium on Operating Systems Principles, 287-305, 2017
1372017
Timing channel protection for a shared memory controller
Y Wang, A Ferraiuolo, GE Suh
2014 IEEE 20th International Symposium on High Performance Computer …, 2014
1152014
SecDCP: secure dynamic cache partitioning for efficient timing channel protection
Y Wang, A Ferraiuolo, D Zhang, AC Myers, GE Suh
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
1022016
Verification of a practical hardware security architecture through static information flow analysis
A Ferraiuolo, R Xu, D Zhang, AC Myers, GE Suh
Proceedings of the Twenty-Second International Conference on Architectural …, 2017
762017
Experimental analysis of a ring oscillator network for hardware trojan detection in a 90nm ASIC
A Ferraiuolo, X Zhang, M Tehranipoor
2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 37-42, 2012
592012
Detecting hardware trojans using on-chip sensors in an asic design
S Kelly, X Zhang, M Tehranipoor, A Ferraiuolo
Journal of electronic testing 31 (1), 11-26, 2015
562015
HyperFlow: A processor architecture for nonmalleable, timing-safe information flow security
A Ferraiuolo, M Zhao, AC Myers, GE Suh
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
552018
Detection of trojans using a combined ring oscillator network and off-chip transient power analysis
X Zhang, A Ferraiuolo, M Tehranipoor
ACM Journal on Emerging Technologies in Computing Systems (JETC) 9 (3), 1-20, 2013
402013
Secure information flow verification with mutable dependent types
A Ferraiuolo, W Hua, AC Myers, GE Suh
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2017
242017
Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller
A Ferraiuolo, Y Wang, D Zhang, AC Myers, GE Suh
2016 IEEE International Symposium on High Performance Computer Architecture …, 2016
232016
Secure autonomous cyber-physical systems through verifiable information flow control
J Liu, J Corbett-Davies, A Ferraiuolo, A Ivanov, M Luo, GE Suh, AC Myers, ...
Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and …, 2018
112018
Low-overhead and high coverage run-time race detection through selective meta-data management
R Huang, E Halberg, A Ferraiuolo, GE Suh
2014 IEEE 20th International Symposium on High Performance Computer …, 2014
72014
Full-processor timing channel protection with applications to secure hardware compartments
A Ferraiuolo, Y Wang, R Xu, D Zhang, A Myers, E Suh
62017
Security results for sirrtl, a hardware description language for information flow security
A Ferraiuolo
22017
Videos of demo of self-driving robot with map verification
J Liu, J Corbett-Davies, A Ferraiuolo, M Campbell, AC Myers, GE Suh
12017
Timing-Safe Hardware-Level Information Flow Control
A Ferraiuolo
Cornell University, 2018
2018
Journal: Proceedings of the 26th Symposium on Operating Systems Principles, 2017
A Ferraiuolo, A Baumann, C Hawblitzel, B Parno
The UCONN-PUF: ESC 2011 PUF Entry
N Tuzzio, X Zhang, A Ferraiuolo
The system can't perform the operation now. Try again later.
Articles 1–18