Jeffrey A. Vaughan
Jeffrey A. Vaughan
Postdoc, UCLA, Computer Science
Verified email at logicblox.com - Homepage
Title
Cited by
Cited by
Year
Dr. android and mr. hide: fine-grained permissions in android applications
J Jeon, KK Micinski, JA Vaughan, A Fogel, N Reddy, JS Foster, T Millstein
Proceedings of the second ACM workshop on Security and privacy in …, 2012
2982012
Relational lenses: a language for updatable views
A Bohannon, BC Pierce, JA Vaughan
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006
2532006
Aura: A programming language for authorization and audit
L Jia, JA Vaughan, K Mazurak, J Zhao, L Zarko, J Schorr, S Zdancewic
ACM Sigplan Notices 43 (9), 27-38, 2008
1242008
Evidence-based audit
JA Vaughan, L Jia, K Mazurak, S Zdancewic
2008 21st IEEE Computer Security Foundations Symposium, 177-191, 2008
902008
Dr. Android and Mr. Hide: Fine-grained security policies on unmodified Android
J Jeon, KK Micinski, JA Vaughan, N Reddy, Y Zhu, JS Foster, T Millstein
652011
Factors affecting energy deposition and expansion in single wire low current experiments
PU Duselis, JA Vaughan, BR Kusse
Physics of Plasmas 11 (8), 4025-4031, 2004
602004
A cryptographic decentralized label model
JA Vaughan, S Zdancewic
2007 IEEE Symposium on Security and Privacy (SP'07), 192-206, 2007
482007
Self-identifying sensor data
S Chong, C Skalka, JA Vaughan
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
382010
Application-centric security policies on unmodified Android
N Reddy, J Jeon, J Vaughan, T Millstein, J Foster
UCLA Computer Science Department, Tech. Rep 110017, 2011
342011
Inference of expressive declassification policies
JA Vaughan, S Chong
2011 IEEE Symposium on Security and Privacy, 180-195, 2011
322011
Secure information flow for concurrent programs under total store order
JA Vaughan, T Millstein
2012 IEEE 25th Computer Security Foundations Symposium, 19-29, 2012
122012
SML2Java: a source to source translator
J Koser, H Larsen, JA Vaughan
Draft Proceedings of the Workshop on Declarative Programming in the Context …, 2003
112003
AuraConf: a unified approach to authorization and confidentiality
JA Vaughan
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and …, 2011
10*2011
Enforcing Language Semantics Using Proof-Carrying Data.
S Chong, E Tromer, JA Vaughan
IACR Cryptol. ePrint Arch. 2013, 513, 2013
92013
Self-identifying data for fair use
S Chong, C Skalka, JA Vaughan
Journal of Data and Information Quality (JDIQ) 5 (3), 1-30, 2015
72015
Aura: Programming with authorization and audit
JA Vaughan
University of Pennsylvania, 2009
42009
A platform for expressive and secure data sharing with untrusted third parties
E Griffis, JA Vaughan, T Millstein
Technical Report 120017, University of California, Los Angeles, 2011
32011
Secure Information Flow for Concurrent Programs Under Total Store Order Supplemental technical material
JA Vaughan, T Millstein
22012
A framework for internalizing relations into type theory
P Fu, A Stump, J Vaughan
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and …, 2011
22011
Paladin: Helping Programs Help Themselves with Internal System Call Interposition
JA Vaughan, AD Hilton
12010
The system can't perform the operation now. Try again later.
Articles 1–20