Jeff Vaughan…
… is a postdoctoral researcher at University of California, Los Angeles, working with Todd Millstein. I am interested in the intersection of computer security, programming languages, and formal methods.
[ research statement | teaching statement ]
Background
Before UCLA, I was a postdoctoral fellow at Harvard's Center for Research on Computation and Society
I received my PhD in Computer and Information Science from the University of Pennsylvania. My thesis advisor was Steve Zdancewic and I enjoyed working with the Penn PL Club.
Before Penn I studied computer science and applied physics at Cornell.
Recent drafts
Dr. Android and Mr. Hide: Fine-grained security policies on unmodified Android. Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Nikhilesh Reddy, Yixin Zhu, Jeffrey S. Foster, and Todd Millstein. Working paper, 2011. [pdf]
Transducer-Based Personal Data Vaults: A Principled Architecture for Controlled Data Sharing. Jeffrey A. Vaughan and Todd Millstein. Working Paper, 2011. [pdf]
Selected publications
Inference of Expressive Declassification Policies. Jeffrey A. Vaughan and Stephen Chong. IEEE Security and Privacy (Oakland), 2011. [pdf | bib | slides]
Self-Identifying Sensor Data. Stephen Chong, Christian Skalka, and Jeffrey A. Vaughan. IPSN, 2010. [pdf | bib | slides]
Aura: A Programming Language for
Authorization and Audit. Limin Jia, Jeffrey A. Vaughan,
Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, and
Steve Zdancewic. ICFP, 2008.
[pdf |
bib |
slides]
(Long version
U. Pennsylvania Technical Report MS-CIS-08-10
[pdf])
Evidence-based Audit. Jeffrey A. Vaughan,
Limin Jia, Karl Mazurak, and Steve Zdancewic. CSF, 2008.
[pdf |
bib |
slides]
(Long version U. Pennsylvania
Technical Report MS-CIS-08-09
[pdf])
A Cryptographic Decentralized Label Model. Jeffrey A. Vaughan and Steve Zdancewic. IEEE Security and Privacy (Oakland), 2007. [pdf | bib | slides]
Teaching
CIS 399-005: C# Programming (Instructor, Spring '09 and Spring '08)
CIS 551: Computer and Network Security (Teaching Assistant, Spring '07)
CSE 121: Data Structures with Java (Teaching Assistant, Spring '06)
CSE 380: Operating Systems (Teaching Assistant, Fall '05)
CS 312: Data Structures and Functional Programming (At Cornell University; Consultant: Fall '02; Teaching Assistant: Spring '03, Fall '03, Spring '04)
Miscellanea
I posted a (very) short page with infrequently asked questions about languages and logic.
Personal
I’m married to Jenn Wortman Vaughan.
Contact Information
3440 Boelter Hall
Los Angeles, CA 90095
310-825-9605 (office)
jeff@cs.ucla.edu