| 2008 |
|---|
| 4 | EE | Jeffrey A. Vaughan,
Limin Jia,
Karl Mazurak,
Steve Zdancewic:
Evidence-Based Audit.
CSF 2008: 177-191 |
| 3 | EE | Limin Jia,
Jeffrey A. Vaughan,
Karl Mazurak,
Jianzhou Zhao,
Luke Zarko,
Joseph Schorr,
Steve Zdancewic:
AURA: a programming language for authorization and audit.
ICFP 2008: 27-38 |
| 2007 |
|---|
| 2 | EE | Jeffrey A. Vaughan,
Steve Zdancewic:
A Cryptographic Decentralized Label Model.
IEEE Symposium on Security and Privacy 2007: 192-206 |
| 2006 |
|---|
| 1 | EE | Aaron Bohannon,
Benjamin C. Pierce,
Jeffrey A. Vaughan:
Relational lenses: a language for updatable views.
PODS 2006: 338-347 |
