By Reason and Authority: A System for Authorization of Proof-Carrying Code. - Nathan Whitehead; Martín Abadi; George C. Necula (CSFW, 2004)

BCiC: A System for Code Authentication and Verification. - Nathan Whitehead; Martín Abadi (LPAR, 2004)

A Certified Distributed Security Logic for Authorizing Code. - Nathan Whitehead (TYPES, 2006)

Policies and Proofs for Code Auditing. - Nathan Whitehead; Jordan Johnson; Martín Abadi (ATVA, 2007)

Direct Measurement of High-Gain and Complementary Charge-Steering Amplifiers. - Nathan Whitehead; Yixin Song; Shiuh-Hua Wood Chiang (IEEE Trans. Circuits Syst. II Express Briefs, 2018)