Vaughan, Jeff - Computer Science Department, University of California at Los Angeles

Advanced Search

Vaughan, Jeff - Computer Science Department, University of California at Los Angeles

The No Longer Foreign Function Interface
Self-Identifying Sensor Data Stephen Chong
A logical interpretation of Java-style exceptions Jeffrey A. Vaughan
Inference of Expressive Declassification Policies Jeff Vaughan Stephen Chong
Plamsa Formation Mechanisms in Exploading Wire Experiments
Factors affecting energy deposition and expansion in single wire low current experiments
AuraConf: A Unified Approach to Authorization and Confidentiality
A Review of Three Techniques for Formally Representing Variable Binding
Transducer-Based Personal Data Vaults: A Principled Architecture for Controlled Data Sharing
Inference of expressive declassification policies Jeffrey A. Vaughan
Self-Identifying Sensor Data Jeffrey Vaughan
Paladin: Helping Programs Help Themselves with Internal System Call Interposition
Department of Computer & Information Science Technical Reports (CIS)
Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Steve Zdancewic
A Cryptographic Decentralized Label Model Jeffrey A. Vaughan and Steve Zdancewic
a source to source translator Justin Koser, Haakon Larsen,
Evidence-based Audit Jeff Vaughan
A Debugger for Standard ML Work by Tolmach and Appel
Automated Random Testing for Haskell Jeff Vaughan
Whidbey Enhancements to C# Jeff Vaughan
A proof of correctness for the Hindley-Milner type inference algorithm
AURA: Programming with authorization and audit
A Review of Three Techniques for Formally Representing Variable Binding
Evidence-based Audit, Technical Appendix Jeffrey A. Vaughan Limin Jia Karl Mazurak Steve Zdancewic
A Framework for Internalizing Relations into Type Theory
AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Jianzhou Zhao Luke Zarko Joseph Schorr
A Cryptographic Decentralized Label Model Jeffrey A. Vaughan Steve Zdancewic
SML2Java: A Source to Source Translator Justin Koser, Haakon Larsen, and Jeffrey A. Vaughan
AURA: A programming language for authorization and audit
A logical interpretation of Java-style Jeff Vaughan
Evidence-based Audit Jeff Vaughan
Normalization in the Dual Calculus with Sigma Reductions
AURA: PROGRAMMING WITH AUTHORIZATION AND AUDIT
Application-centric security policies on unmodified Nikhilesh Reddy
Jeffrey A. Vaughan Research Statement
Dr. Android and Mr. Hide: Fine-grained security policies on unmodified Android