Verifiable Verification in Cryptographic Protocols
Marc Fischlin, Felix Günther
CCS 2023
The Laplace mechanism is the workhorse of differential privacy, applied to many instances where numerical data is processed. However, the Laplace mechanism can return semantically impossible values, such as negative counts, due to its infinite support. There are two popular solutions to this: (i) bounding/capping the output values and (ii) bounding the mechanism support. In this paper, we show that bounding the mechanism support, while using the parameters of the standard Laplace mechanism, does not typically preserve differential privacy. We also present a robust method to compute the optimal mechanism parameters to achieve differential privacy in such a setting.
Marc Fischlin, Felix Günther
CCS 2023
Akiko Inoue, Tetsu Iwata, et al.
Journal of Cryptology
Amani Abu Jabal, Elisa Bertino, et al.
ESORICS 2020
Manoj Kumar, Pratap Pattnaik
HPEC 2020