DDUO: General-Purpose Dynamic Analysis for Differential Privacy

Understand

Differential privacy enables general statistical analysis of data with formal guarantees of privacy protection at the individual level.

• Tools that assist data analysts with utilizing differential privacy have frequently taken the form of programming languages and libraries.
• However, many existing programming languages designed for compositional verification of differential privacy impose significant burden on the programmer (in the form of complex type annotations).
• Supplementary library support for privacy analysis built on top of existing general-purpose languages has been more usable, but incapable of pervasive end-to-end enforcement of sensitivity analysis and privacy composition.