A logical characterization of differential privacy

Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi. A logical characterization of differential privacy. Science of Computer Programming, 188:102388, 2020. [doi]

Abstract

Abstract is missing.