Posts
Publications
Events
About
Networks
Contact
English
English
Português
TPDP
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow
We combine Kronecker products, and quantitative information flow, to give a novel formal analysis for the fine-grained verification of utility in complex privacy pipelines. The combination explains a surprising anomaly in the behaviour of utility of privacy-preserving pipelines - that sometimes a reduction in privacy results also in a decrease in utility. We demonstrate our results on a number of common privacy-preserving designs.
Mário S. Alvim
,
Natasha Fernandes
,
Annabelle McIver
,
Carroll Morgan
,
Gabriel H. Nunes
Cite
×