Projects per year
Abstract
We extend recent work in Quantitative Information Flow (QIF) to provide tools for the analysis of programs that aim to implement differentially private mechanisms. We demonstrate how differential privacy can be expressed using loss functions, and how to use this idea in conjunction with a QIF-enabled program semantics to verify differentially private guarantees. Finally we describe how to use this approach experimentally using Kuifje, a recently developed tool for analysing information-flow properties of programs.
Original language | English |
---|---|
Title of host publication | Programming Languages and Systems |
Subtitle of host publication | 17th Asian Symposium, APLAS 2019, Proceedings |
Editors | Anthony Widjaja Lin |
Place of Publication | Cham |
Publisher | Springer, Springer Nature |
Pages | 3-18 |
Number of pages | 16 |
ISBN (Electronic) | 9783030341756 |
ISBN (Print) | 9783030341749 |
DOIs | |
Publication status | Published - 1 Jan 2019 |
Event | 17th Asian Symposium on Programming Languages and Systems, APLAS 2019 - Bali, Indonesia Duration: 1 Dec 2019 → 4 Dec 2019 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11893 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 17th Asian Symposium on Programming Languages and Systems, APLAS 2019 |
---|---|
Country/Territory | Indonesia |
City | Bali |
Period | 1/12/19 → 4/12/19 |
Keywords
- Differential privacy
- privacy
- Probabilistic program semantics
- Quantitative Information Flow
- verification
Fingerprint
Dive into the research topics of 'Proving that programs are differentially private'. Together they form a unique fingerprint.Projects
- 1 Finished
-
More information for better utility; less information for better privacy
McIver, A., Morgan, C., Teague, V., Schneider, S., MQRES, M. & PhD Contribution (ARC), P. C.
26/03/14 → 31/12/20
Project: Research