Relational lenses: a language for updatable views. - Aaron Bohannon; Benjamin C. Pierce; Jeffrey A. Vaughan (PODS, 2006)

A Cryptographic Decentralized Label Model. - Jeffrey A. Vaughan; Steve Zdancewic (S&P, 2007)

Evidence-Based Audit. - Jeffrey A. Vaughan; Limin Jia 001; Karl Mazurak; Steve Zdancewic (CSF, 2008)

AURA: a programming language for authorization and audit. - Limin Jia 001; Jeffrey A. Vaughan; Karl Mazurak; Jianzhou Zhao; Luke Zarko; Joseph Schorr; Steve Zdancewic (ICFP, 2008)

Self-identifying sensor data. - Stephen Chong; Christian Skalka; Jeffrey A. Vaughan (IPSN, 2010)

Inference of Expressive Declassification Policies. - Jeffrey A. Vaughan; Stephen Chong (IEEE Symposium on Security and Privacy, 2011)

AuraConf: a unified approach to authorization and confidentiality. - Jeffrey A. Vaughan (TLDI, 2011)

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 (SPSM@CCS, 2012)

Secure Information Flow for Concurrent Programs under Total Store Order. - Jeffrey A. Vaughan; Todd D. Millstein (CSF, 2012)

Enforcing Language Semantics Using Proof-Carrying Data. - Stephen Chong; Eran Tromer; Jeffrey A. Vaughan (IACR Cryptol. ePrint Arch., 2013)

Self-Identifying Data for Fair Use. - Stephen Chong; Christian Skalka; Jeffrey A. Vaughan (ACM J. Data Inf. Qual., 2015)