Jeffrey A. Vaughan

11 papers A* 2A 3Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2015 J jnl
Self-Identifying Data for Fair Use.
ACM J. Data Inf. Qual.
Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
2013 J jnl
Enforcing Language Semantics Using Proof-Carrying Data.
IACR Cryptol. ePrint Arch.
Stephen Chong, Eran Tromer, Jeffrey A. Vaughan
2012 — conf
Dr. Android and Mr. Hide: fine-grained permissions in android applications.
SPSM@CCS
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein
2012 A conf
Secure Information Flow for Concurrent Programs under Total Store Order.
CSF
Jeffrey A. Vaughan, Todd D. Millstein
2011 — conf
AuraConf: a unified approach to authorization and confidentiality.
TLDI
Jeffrey A. Vaughan
2011 A* conf
Inference of Expressive Declassification Policies.
IEEE Symposium on Security and Privacy
Jeffrey A. Vaughan, Stephen Chong
2010 — conf
Self-identifying sensor data.
IPSN
Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
2008 A conf
AURA: a programming language for authorization and audit.
ICFP
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic
2008 A conf
Evidence-Based Audit.
CSF
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic
2007 — conf
A Cryptographic Decentralized Label Model.
S&P
Jeffrey A. Vaughan, Steve Zdancewic
2006 A* conf
Relational lenses: a language for updatable views.
PODS
Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan