![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic: Evidence-Based Audit. CSF 2008: 177-191 |
1 | 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 |
1 | Limin Jia | [1] [2] |
2 | Joseph Schorr | [1] |
3 | Jeffrey A. Vaughan | [1] [2] |
4 | Luke Zarko | [1] |
5 | Steve Zdancewic | [1] [2] |
6 | Jianzhou Zhao | [1] |