Table of Contents
Fetching ...

Auditing $f$-Differential Privacy in One Run

Saeed Mahloujifar, Luca Melis, Kamalika Chaudhuri

TL;DR

A novel analysis is provided that enables the auditing procedure to achieve tight empirical privacy estimates by using the hypothesized $f$-DP curve of the mechanism, which provides a more accurate measure of privacy than the traditional $\epsilon,\delta$ differential privacy parameters.

Abstract

Empirical auditing has emerged as a means of catching some of the flaws in the implementation of privacy-preserving algorithms. Existing auditing mechanisms, however, are either computationally inefficient requiring multiple runs of the machine learning algorithms or suboptimal in calculating an empirical privacy. In this work, we present a tight and efficient auditing procedure and analysis that can effectively assess the privacy of mechanisms. Our approach is efficient; similar to the recent work of Steinke, Nasr, and Jagielski (2023), our auditing procedure leverages the randomness of examples in the input dataset and requires only a single run of the target mechanism. And it is more accurate; we provide a novel analysis that enables us to achieve tight empirical privacy estimates by using the hypothesized $f$-DP curve of the mechanism, which provides a more accurate measure of privacy than the traditional $ε,δ$ differential privacy parameters. We use our auditing procure and analysis to obtain empirical privacy, demonstrating that our auditing procedure delivers tighter privacy estimates.

Auditing $f$-Differential Privacy in One Run

TL;DR

A novel analysis is provided that enables the auditing procedure to achieve tight empirical privacy estimates by using the hypothesized -DP curve of the mechanism, which provides a more accurate measure of privacy than the traditional differential privacy parameters.

Abstract

Empirical auditing has emerged as a means of catching some of the flaws in the implementation of privacy-preserving algorithms. Existing auditing mechanisms, however, are either computationally inefficient requiring multiple runs of the machine learning algorithms or suboptimal in calculating an empirical privacy. In this work, we present a tight and efficient auditing procedure and analysis that can effectively assess the privacy of mechanisms. Our approach is efficient; similar to the recent work of Steinke, Nasr, and Jagielski (2023), our auditing procedure leverages the randomness of examples in the input dataset and requires only a single run of the target mechanism. And it is more accurate; we provide a novel analysis that enables us to achieve tight empirical privacy estimates by using the hypothesized -DP curve of the mechanism, which provides a more accurate measure of privacy than the traditional differential privacy parameters. We use our auditing procure and analysis to obtain empirical privacy, demonstrating that our auditing procedure delivers tighter privacy estimates.

Paper Structure

This paper contains 24 sections, 8 theorems, 55 equations, 9 figures, 3 algorithms.

Key Result

Proposition 3

A mechanism is $(\epsilon,\delta)$-DP if it is $f$-DP with respect to $\bar{f}(x)=e^\epsilon\cdot x + \delta$.

Figures (9)

  • Figure 1: Comparison between our empirical privacy lower bounds and that of steinke2023privacy
  • Figure 2: Comparison with auditing procedure of steinke2023privacy on auditing CIFAR-10 in white-box setting using gradient-based membership inference attacks.
  • Figure 3: Effect of bucket size on the empirical lower bounds for reconstruction attack (Gaussian mechanism with standard deviation 0.6). Left: 10,000 canaries with bucket size up-to 5000. Right: 100 canaries with bucket-size up-to 50.
  • Figure 4: Effect of number of guesses (Gaussian mechanism with standard deviation $1.0$)
  • Figure 5: Effect of number of guesses (Gaussian mechanism with standard deviation $2.0$)
  • ...and 4 more figures

Theorems & Definitions (22)

  • Definition 1
  • Definition 2
  • Proposition 3
  • Remark 4
  • Definition 5: Order of $f$-DP curves
  • Definition 6: Auditing $f$-DP
  • Definition 7: Empirical Privacy
  • Definition 8
  • Theorem 9
  • Theorem 10
  • ...and 12 more