Postagens
Publicações
Eventos
Sobre
Redes
Contato
Português
Português
English
CCS
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
PDF
Citação
DOI
Citação
×