- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c8 |      | Jeffrey A. Vaughan, Todd D. Millstein: Secure Information Flow for Concurrent Programs under Total Store Order. CSF 2012: 19-29 |
| 2011 | ||
| c7 | | Jeffrey A. Vaughan, Stephen Chong: Inference of Expressive Declassification Policies. IEEE Symposium on Security and Privacy 2011: 180-195 |
| c6 | | Jeffrey A. Vaughan: AuraConf: a unified approach to authorization and confidentiality. TLDI 2011: 45-58 |
| 2010 | ||
| c5 | | |
| 2008 | ||
| c4 | | Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic: Evidence-Based Audit. CSF 2008: 177-191 |
| c3 | | 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 | ||
| c2 | | Jeffrey A. Vaughan, Steve Zdancewic: A Cryptographic Decentralized Label Model. IEEE Symposium on Security and Privacy 2007: 192-206 |
| 2006 | ||
| c1 | | Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan: Relational lenses: a language for updatable views. PODS 2006: 338-347 |
| 1 | Aaron Bohannon | |
| 2 | Stephen Chong | |
| 3 | Limin Jia | |
| 4 | Karl Mazurak | |
| 5 | Todd D. Millstein | |
| 6 | Benjamin C. Pierce | |
| 7 | Joseph Schorr | |
| 8 | Christian Skalka | |
| 9 | Luke Zarko | |
| 10 | Steve Zdancewic | |
| 11 | Jianzhou Zhao |
Data released under the ODC-BY 1.0 license — See also our legal information page