Automating program analysis for differential privacy /

Automating program analysis for differential privacy /

This dissertation explores techniques for automating program analysis, with a focus on validating and securely executing differentially private programs. Differential privacy allows analysts to study general patterns among individuals, while providing strong protections against identity leakage. To...

Full description

Bibliographic Details
Main Author: Zhang, Hengchu (Author)
Format: Thesis Book
Language:English
Published: [Philadelphia, Pennsylvania] : Ann Arbor : University of Pennsylvania ; ProQuest Dissertations & Theses, 2021
Subjects:
Algorithms
Computer and Information Science > Penn dissertations
Computer science
Design
Grammar
Language
Logic
Noise
Optimization
Penn dissertations > Computer and Information Science
Privacy
Programming languages
Queries
Semantics
Syntax
Differential privacy
Distributed computation
Symbolic execution
Type system
Academic theses

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items