Jeffrey A. Vaughan

According to our database, Jeffrey A. Vaughan authored at least 11 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Self-Identifying Data for Fair Use.

Stephen Chong, Christian Skalka, Jeffrey A. Vaughan

ACM J. Data Inf. Qual., 2015

2013

Enforcing Language Semantics Using Proof-Carrying Data.

Stephen Chong, Eran Tromer, Jeffrey A. Vaughan

IACR Cryptol. ePrint Arch., 2013

2012

Secure Information Flow for Concurrent Programs under Total Store Order.

Jeffrey A. Vaughan, Todd D. Millstein

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

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

Proceedings of the SPSM'12, 2012

2011

AuraConf: a unified approach to authorization and confidentiality.

Jeffrey A. Vaughan

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Inference of Expressive Declassification Policies.

Jeffrey A. Vaughan, Stephen Chong

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

2010

Self-identifying sensor data.

Stephen Chong, Christian Skalka, Jeffrey A. Vaughan

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

2008

AURA: a programming language for authorization and audit.

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Evidence-Based Audit.

Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

A Cryptographic Decentralized Label Model.

Jeffrey A. Vaughan, Steve Zdancewic

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

2006

Relational lenses: a language for updatable views.

Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006