Nathan Whitehead

According to our database, Nathan Whitehead authored at least 5 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

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

2007

Policies and Proofs for Code Auditing.

Nathan Whitehead, Jordan Johnson, Martín Abadi

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Certified Distributed Security Logic for Authorizing Code.

Nathan Whitehead

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2004

BCiC: A System for Code Authentication and Verification.

Nathan Whitehead, Martín Abadi

Proceedings of the Logic for Programming, 2004

By Reason and Authority: A System for Authorization of Proof-Carrying Code.

Nathan Whitehead, Martín Abadi, George C. Necula

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004