Composition Theorems for f-Differential Privacy

“f differential privacy” (fDP) is a recent definition for privacy privacy which can offer improved predictions of “privacy loss”. It has been used to analyse specific privacy mechanisms, such as the popular Gaussian mechanism. In this paper we show how fDP’s foundation in statistical hypothesis testing implies equivalence to the channel model of Quantitative Information Flow. We demonstrate this equivalence by a Galois connection between two partially ordered sets. This equivalence enables novel general composition theorems for fDP, supporting improved analysis for complex privacy designs.