Andrew Ferraiuolo

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