| | |
Summary: Position Paper: Differential Privacy
with Information Flow Control
Arnar Birgisson
Chalmers University of Technology
arnar.birgisson@chalmers.se
Frank McSherry Mart´in Abadi
Microsoft Research
{mcsherry,abadi}@microsoft.com
Abstract
We investigate the integration of two approaches to informa-
tion security: information flow analysis, in which the depen-
dence between secret inputs and public outputs is tracked
through a program, and differential privacy, in which a weak
dependence between input and output is permitted but pro-
vided only through a relatively small set of known differen-
tially private primitives.
We find that information flow for differentially private ob-
servations is no harder than dependency tracking. Differen-
tial privacy's strong guarantees allow for efficient and accu-
rate dynamic tracking of information flow, allowing the use
|