Experimental analysis of a ring oscillator network for hardware Trojan detection in a 90nm ASIC. - Andrew Ferraiuolo; Xuehui Zhang; Mohammad Tehranipoor (ICCAD, 2012)

Detection of trojans using a combined ring oscillator network and off-chip transient power analysis. - Xuehui Zhang; Andrew Ferraiuolo; Mohammad Tehranipoor (ACM J. Emerg. Technol. Comput. Syst., 2013)

Low-overhead and high coverage run-time race detection through selective meta-data management. - Ruirui C. Huang; Erik Halberg; Andrew Ferraiuolo; G. Edward Suh (HPCA, 2014)

Timing channel protection for a shared memory controller. - Yao Wang 008; Andrew Ferraiuolo; G. Edward Suh (HPCA, 2014)

Detecting Hardware Trojans using On-chip Sensors in an ASIC Design. - Shane Kelly; Xuehui Zhang; Mohammad Tehranipoor; Andrew Ferraiuolo (J. Electron. Test., 2015)

SecDCP: secure dynamic cache partitioning for efficient timing channel protection. - Yao Wang 008; Andrew Ferraiuolo; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (DAC, 2016)

Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. - Andrew Ferraiuolo; Yao Wang 008; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (HPCA, 2016)

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. - Andrew Ferraiuolo; Rui Xu; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (ASPLOS, 2017)

Secure Information Flow Verification with Mutable Dependent Types. - Andrew Ferraiuolo; Weizhe Hua; Andrew C. Myers; G. Edward Suh (DAC, 2017)

Komodo: Using verification to disentangle secure-enclave hardware from software. - Andrew Ferraiuolo; Andrew Baumann; Chris Hawblitzel; Bryan Parno (SOSP, 2017)

HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security. - Andrew Ferraiuolo; Mark Zhao; Andrew C. Myers; G. Edward Suh (CCS, 2018)

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. - Jed Liu; Joe Corbett-Davies; Andrew Ferraiuolo; Alexander Ivanov 002; Mulong Luo; G. Edward Suh; Andrew C. Myers; Mark E. Campbell (CPS-SPC@CCS, 2018)

Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity. - Andrew Ferraiuolo; Razieh Behjati; Tiziano Santoro; Ben Laurie (SCORED@CCS, 2022)

MPruner: Optimizing Neural Network Size with CKA-Based Mutual Information Pruning. - Seungbeom Hu; ChanJun Park; Andrew Ferraiuolo; Sang-Ki Ko; Jinwoo Kim; Haein Song; Jieung Kim (CoRR, 2024)