Jeffrey A. Vaughan, Ph.D.
Affiliations: | 2009 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Computer ScienceGoogle:
"Jeffrey Vaughan"Parents
Sign in to add mentor| Steve Zdancewic | grad student | 2009 | Penn | |
| (Aura: Programming with authorization and audit.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Chong S, Skalka C, Vaughan JA. (2015) Self-identifying data for fair use Journal of Data and Information Quality. 5: 11 |
| Vaughan JA, Millstein T. (2012) Secure information flow for concurrent programs under total store order Proceedings of the Computer Security Foundations Workshop. 19-29 |
| Vaughan JA. (2011) AuraConf: A unified approach to authorization and confidentiality Tldi'11 - Proceedings of the 7th Acm Sigplan Workshop On Types in Language Design and Implementation. 45-58 |
| Vaughan JA, Chong S. (2011) Inference of expressive declassification policies Proceedings - Ieee Symposium On Security and Privacy. 180-195 |
| Jia L, Vaughan JA, Mazurak K, et al. (2008) AURA: A programming language for authorization and audit Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 27-38 |
| Vaughan JA, Jia L, Mazurak K, et al. (2008) Evidence-based audit Proceedings - Ieee Computer Security Foundations Symposium. 177-191 |
| Vaughan JA, Zdancewic S. (2007) A cryptographic decentralized label model Proceedings - Ieee Symposium On Security and Privacy. 192-206 |