| 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 | 150 | 2017 |
| 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 | 118 | 2016 |
| Timing channel protection for a shared memory controller Y Wang, A Ferraiuolo, GE Suh 2014 IEEE 20th International Symposium on High Performance Computer …, 2014 | 118 | 2014 |
| 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 | 80 | 2017 |
| 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 | 60 | 2018 |
| Experimental analysis of a ring oscillator network for hardware trojan detection in a 90nm ASIC A Ferraiuolo, X Zhang, M Tehranipoor Proceedings of the International Conference on Computer-Aided Design, 37-42, 2012 | 60 | 2012 |
| Detecting hardware trojans using on-chip sensors in an asic design S Kelly, X Zhang, M Tehranipoor, A Ferraiuolo Journal of electronic testing 31, 11-26, 2015 | 57 | 2015 |
| 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 | 40 | 2013 |
| Secure information flow verification with mutable dependent types A Ferraiuolo, W Hua, AC Myers, GE Suh Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017 | 26 | 2017 |
| 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 | 23 | 2016 |
| 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 | 12 | 2018 |
| 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 | 7 | 2014 |
| Full-processor timing channel protection with applications to secure hardware compartments A Ferraiuolo, Y Wang, R Xu, D Zhang, A Myers, E Suh | 6 | 2017 |
| Security results for sirrtl, a hardware description language for information flow security A Ferraiuolo | 2 | 2017 |
| Timing-Safe Hardware-Level Information Flow Control A Ferraiuolo Cornell University, 2018 | 1 | 2018 |
| Videos of demo of self-driving robot with map verification J Liu, J Corbett-Davies, A Ferraiuolo, M Campbell, AC Myers, GE Suh | 1 | 2017 |
| Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity A Ferraiuolo, R Behjati, T Santoro, B Laurie | | 2022 |
| The UCONN-PUF: ESC 2011 PUF Entry N Tuzzio, X Zhang, A Ferraiuolo | | |
Edward SuhCornell University / Meta AIVerified email at csl.cornell.edu
