| |
| 2007 | ||
|---|---|---|
| 4 | EE | Nathan Whitehead, Jordan Johnson, Martín Abadi: Policies and Proofs for Code Auditing. ATVA 2007: 1-14 |
| 2006 | ||
| 3 | EE | Nathan Whitehead: A Certified Distributed Security Logic for Authorizing Code. TYPES 2006: 253-268 |
| 2004 | ||
| 2 | EE | 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 | EE | Nathan Whitehead, Martín Abadi: BCiC: A System for Code Authentication and Verification. LPAR 2004: 110-124 |
| 1 | Martín Abadi | [1] [2] [4] |
| 2 | Jordan Johnson | [4] |
| 3 | George C. Necula | [2] |