Jeffrey A. Vaughan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CCS | Dr. Android and Mr. Hide: fine-grained permissions in android applications. | Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein |
| 2011 | SP | Inference of Expressive Declassification Policies. | Jeffrey A. Vaughan, Stephen Chong |
| 2008 | ICFP | AURA: a programming language for authorization and audit. | Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
| 2007 | SP | A Cryptographic Decentralized Label Model. | Jeffrey A. Vaughan, Steve Zdancewic |
| 2006 | PODS | Relational lenses: a language for updatable views. | Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan |