118 citations · 293 across the 21 of their papers we have counts for
4 papers · 2 filters
Metric-based local differential privacy for statistical applications
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi +1
Local differential privacy (LPD) is a distributed variant of differential privacy (DP) in which the obfuscation of the sensitive information is done at the level of the individual…
Leakage and Protocol Composition in a Game-Theoretic Perspective
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto +1
In the inference attacks studied in Quantitative Information Flow (QIF), the adversary typically tries to interfere with the system in the attempt to increase its leakage of secret…
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto +1
In the inference attacks studied in Quantitative Information Flow (QIF), the attacker typically tries to interfere with the system in the attempt to increase its leakage of secret…
An Algebraic Approach for Reasoning About Information Flow
Arthur Américo, Mário S. Alvim, Annabelle McIver
This paper concerns the analysis of information leaks in security systems. We address the problem of specifying and analyzing large systems in the (standard) channel model used in…