FANCI: identification of stealthy malicious logic using boolean functional analysis. - Adam Waksman; Matthew Suozzo; Simha Sethumadhavan (CCS, 2013)

A Red Team/Blue Team Assessment of Functional Analysis Methods for Malicious Circuit Identification. - Adam Waksman; Jeyavijayan Rajendran; Matthew Suozzo; Simha Sethumadhavan (DAC, 2014)

Trustworthy hardware from untrusted components. - Simha Sethumadhavan; Adam Waksman; Matthew Suozzo; Yipeng Huang 001; Julianna Eum (Commun. ACM, 2015)