Concepedia

Jeffrey A. Vaughan

JA

10

Publications

771

Citations

10

H-Index

2006

Active since

Affiliations

University of California, Los Angeles(Current)

University of Pennsylvania

California University of Pennsylvania

Jeffrey A. Vaughan is an author at University of California, Los Angeles specializing in engineering, computer science, and data security.

Top concepts

EngineeringComputer ScienceData SecurityInformation SecurityFormal MethodsCryptographyAccess ControlProgram AnalysisSoftware AnalysisFormal Verification

Publications per year

2006–2012

10

Publications

10

Dr. Android and Mr. Hide

Jinseong Jeon, Kristopher Micinski, Jeffrey A. Vaughan et al. · 2012 · 221 citations

Mobile Security, Engineering, Information Security +17

Relational lenses

Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan · 2006 · 202 citations

Relational Queries, View Update Problem, Relational Database +10

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak et al. · ACM SIGPLAN Notices · 2008 · 86 citations

Engineering, Logical Access Control, Automated Reasoning +14

Evidence-Based Audit

Jeffrey A. Vaughan, Limin Jia, Karl Mazurak et al. · 2008 · 71 citations

Auditing, Authorization Logic, Engineering +13

AURA

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak et al. · 2008 · 54 citations

Engineering, Logical Access Control, Automated Reasoning +14

Rows per page

1–5 of 10