Jeffrey A. Vaughan

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Magnetic Resonance

Malware Detection

Knowledge Discovery

Information Flow

Top Venues

IACR Cryptol. ePrint Arch.

ACM J. Data Inf. Qual.

Publications

Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
Self-Identifying Data for Fair Use. ACM J. Data Inf. Qual. 5 (3) (2015)
Stephen Chong, Eran Tromer, Jeffrey A. Vaughan
Enforcing Language Semantics Using Proof-Carrying Data. IACR Cryptol. ePrint Arch. 2013 (2013)
Jeffrey A. Vaughan, Todd D. Millstein
Secure Information Flow for Concurrent Programs under Total Store Order. CSF (2012)
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein
Dr. Android and Mr. Hide: fine-grained permissions in android applications. SPSM@CCS (2012)
Jeffrey A. Vaughan, Stephen Chong
Inference of Expressive Declassification Policies. IEEE Symposium on Security and Privacy (2011)
Jeffrey A. Vaughan
AuraConf: a unified approach to authorization and confidentiality. TLDI (2011)
Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
Self-identifying sensor data. IPSN (2010)
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)
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic
Evidence-Based Audit. CSF (2008)
Jeffrey A. Vaughan, Steve Zdancewic
A Cryptographic Decentralized Label Model. IEEE Symposium on Security and Privacy (2007)
Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan
Relational lenses: a language for updatable views. PODS (2006)