Section: New Results

New logics for differential privacy

Participants : Benjamin Grégoire, Gilles Barthe [IMDEA] , Noémie Fong [ENS] , Marco Gaboardi [University at Buffalo] , Justin Hsu [University of Pennsylvania] , Pierre-Yves Strub [IMDEA] .

We proposed new logics to work on examples from the differential privacy literature, a hoare logic based on the union bound [10] and a logic based on the deep connection between differential privacy and probabilistic couplings [11], [9].