Sciweavers

141 search results - page 29 / 29
» A Symbolic Framework for Operations on Linear Boundary Probl...
Sort
View
POPL
2012
ACM
12 years 4 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...