Andrew Ferraiuolo

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 9

Top Topics

Multi Core Systems

Information Flow

Top Venues

J. Electron. Test.

Publications

Andrew Ferraiuolo, Razieh Behjati, Tiziano Santoro, Ben Laurie
Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity. SCORED@CCS (2022)
Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell
Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. CPS-SPC@CCS (2018)
Andrew Ferraiuolo, Mark Zhao, Andrew C. Myers, G. Edward Suh
HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security. CCS (2018)
Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh
Secure Information Flow Verification with Mutable Dependent Types. DAC (2017)
Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. ASPLOS (2017)
Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno
Komodo: Using verification to disentangle secure-enclave hardware from software. SOSP (2017)
Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. HPCA (2016)
Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
SecDCP: secure dynamic cache partitioning for efficient timing channel protection. DAC (2016)
Shane Kelly, Xuehui Zhang, Mohammad Tehranipoor, Andrew Ferraiuolo
Detecting Hardware Trojans using On-chip Sensors in an ASIC Design. J. Electron. Test. 31 (1) (2015)
Ruirui C. Huang, Erik Halberg, Andrew Ferraiuolo, G. Edward Suh
Low-overhead and high coverage run-time race detection through selective meta-data management. HPCA (2014)
Yao Wang, Andrew Ferraiuolo, G. Edward Suh
Timing channel protection for a shared memory controller. HPCA (2014)
Xuehui Zhang, Andrew Ferraiuolo, Mohammad Tehranipoor
Detection of trojans using a combined ring oscillator network and off-chip transient power analysis. ACM J. Emerg. Technol. Comput. Syst. 9 (3) (2013)
Andrew Ferraiuolo, Xuehui Zhang, Mohammad Tehranipoor
Experimental analysis of a ring oscillator network for hardware Trojan detection in a 90nm ASIC. ICCAD (2012)