Ektelo: A Framework for Defining Differentially-Private Computations

08/10/2018
by   Dan Zhang, et al.
0

The adoption of differential privacy is growing but the complexity of designing private, efficient and accurate algorithms is still high. We propose a novel programming framework and system, Ektelo, for implementing both existing and new privacy algorithms. For the task of answering linear counting queries, we show that nearly all existing algorithms can be composed from operators, each conforming to one of a small number of operator classes. While past programming frameworks have helped to ensure the privacy of programs, the novelty of our framework is its significant support for authoring accurate and efficient (as well as private) programs. After describing the design and architecture of the Ektelo system, we show that Ektelo is expressive, allows for safer implementations through code reuse, and that it allows both privacy novices and experts to easily design algorithms. We demonstrate the use of Ektelo by designing several new state-of-the-art algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/05/2019

Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy

During the past decade, differential privacy has become the gold standar...
research
09/17/2023

A Unifying Privacy Analysis Framework for Unknown Domain Algorithms in Differential Privacy

There are many existing differentially private algorithms for releasing ...
research
09/10/2019

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds

Differential privacy offers a formal framework for reasoning about priva...
research
09/08/2023

The Complexity of Verifying Boolean Programs as Differentially Private

We study the complexity of the problem of verifying differential privacy...
research
11/30/2020

Optimizing Fitness-For-Use of Differentially Private Linear Queries

In practice, differentially private data releases are designed to suppor...
research
03/16/2018

Differential Privacy for Growing Databases

We study the design of differentially private algorithms for adaptive an...
research
05/29/2023

Unleashing the Power of Randomization in Auditing Differentially Private ML

We present a rigorous methodology for auditing differentially private ma...

Please sign up or login with your details

Forgot password? Click here to reset