Nathan Whitehead

	2007
4		Nathan Whitehead, Jordan Johnson, Martín Abadi: Policies and Proofs for Code Auditing. ATVA 2007: 1-14
	2006
3		Nathan Whitehead: A Certified Distributed Security Logic for Authorizing Code. TYPES 2006: 253-268
	2004
2		Nathan Whitehead, Martín Abadi, George C. Necula: By Reason and Authority: A System for Authorization of Proof-Carrying Code. CSFW 2004: 236-250
1		Nathan Whitehead, Martín Abadi: BCiC: A System for Code Authentication and Verification. LPAR 2004: 110-124

Coauthor Index

1	Martín Abadi	[1] [2] [4]
2	Jordan Johnson	[4]
3	George C. Necula	[2]