Miguel E. Andrés

Geoffrey Smith

Math. Struct. Comput. Sci., 2015

On the information leakage of differentially-private mechanisms.

[BibT_eX]

[DOI]

Pierpaolo Degano

J. Comput. Secur., 2015

2013

Broadening the Scope of Differential Privacy Using Metrics.

[BibT_eX]

[DOI]

Nicolás Emilio Bordenabe

Proceedings of the Privacy Enhancing Technologies - 13th International Symposium, 2013

Geo-indistinguishability: differential privacy for location-based systems.

[BibT_eX]

[DOI]

Nicolás Emilio Bordenabe

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Quantitative information flow in interactive systems.

[BibT_eX]

[DOI]

J. Comput. Secur., 2012

2011

Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems.

[BibT_eX]

[DOI]

PhD thesis, 2011

Information hiding in probabilistic concurrent systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems

[BibT_eX]

[DOI]

CoRR, 2011

Differential Privacy: On the Trade-Off between Utility and Information Leakage.

[BibT_eX]

[DOI]

Pierpaolo Degano

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

On the Relation between Differential Privacy and Quantitative Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Quantitative Information Flow and Applications to Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design VI, 2011

2010

Computing the Leakage of Information-Hiding Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Probabilistic Information Flow.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Safe Equivalences for Security Properties.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2010

Entropy and Attack Models in Information Flow - (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2010

Interactive Information Flow - (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Information Flow in Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2008

Conditional Probabilities over Probabilistic and Nondeterministic Systems.

[BibT_eX]

[DOI]

Peter van Rossum

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Significant Diagnostic Counterexamples in Probabilistic Model Checking.

[BibT_eX]

[DOI]