Konstantinos Chatzikokolakis

Carmela Troncoso

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Information Leakage Games: Exploring Information as a Utility Function.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2022

2021

PCP: Preemptive Circuit Padding against Tor circuit fingerprinting.

[BibT_eX]

[DOI]

George Kadianakis

Theodoros Polyzos

Mike Perry

Kostas Chatzikokolakis

CoRR, 2021

Exact Optimization of Conformal Predictors via Incremental and Decremental Learning.

[BibT_eX]

[DOI]

Martin Jaggi

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Refinement Orders for Quantitative Information Flow and Differential Privacy.

[BibT_eX]

[DOI]

Natasha Fernandes

J. Cybersecur. Priv., December, 2020

The Science of Quantitative Information Flow.

[BibT_eX]

[DOI]

Information Security and Cryptography, Springer, ISBN: 978-3-319-96131-6, 2020

Catuscia Palamidessi: a journey from logic and concurrency to security and privacy.

[BibT_eX]

[DOI]

Carlos Olarte

Frank D. Valencia

ACM SIGLOG News, 2020

A logical characterization of differential privacy.

[BibT_eX]

[DOI]

Valentina Castiglioni

Sci. Comput. Program., 2020

Editors' Introduction.

[BibT_eX]

[DOI]

Kostas Chatzikokolakis

Aaron Johnson

Proc. Priv. Enhancing Technol., 2020

The Bayes Security Measure.

[BibT_eX]

[DOI]

Carmela Troncoso

CoRR, 2020

Optimal Obfuscation Mechanisms via Machine Learning.

[BibT_eX]

[DOI]

Marco Romanelli

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Estimating g-Leakage via Machine Learning.

[BibT_eX]

[DOI]

Marco Romanelli

Pablo Piantanida

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

An axiomatization of information flow measures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Editors' Introduction.

[BibT_eX]

[DOI]

Carmela Troncoso

Proc. Priv. Enhancing Technol., 2019

Generating Optimal Privacy-Protection Mechanisms via Machine Learning.

[BibT_eX]

[DOI]

Marco Romanelli

CoRR, 2019

F-BLEAU: Fast Black-Box Leakage Estimation.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Catch me if you can: how geo-indistinguishability affects utility in mobility-based geographic datasets.

[BibT_eX]

[DOI]

Adriano Di Luzio

Aline Carneiro Viana

Georgi Dikov

Julinda Stefa

Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Location-based Recommendations, 2019

Comparing Systems: Max-Case Refinement Orders and Application to Differential Privacy.

[BibT_eX]

[DOI]

Natasha Fernandes

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Refinement Metrics for Quantitative Information Flow.

[BibT_eX]

[DOI]

Geoffrey Smith

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

A Game-Theoretic Approach to Information-Flow Control via Protocol Composition.

[BibT_eX]

[DOI]

Entropy, 2018

Metric-based local differential privacy for statistical applications.

[BibT_eX]

[DOI]

Anna Pazii

CoRR, 2018

On the Additive Capacity Problem for Quantitative Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Leakage and Protocol Composition in a Game-Theoretic Perspective.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

A Logical Characterization of Differential Privacy via Behavioral Metrics.

[BibT_eX]

[DOI]

Valentina Castiglioni

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility.

[BibT_eX]

[DOI]

Anna Pazii

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Efficient Utility Improvement for Location Privacy.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2017

On the Compositionality of Quantitative Information Flow.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Methods for Location Privacy: A comparative overview.

[BibT_eX]

[DOI]

Anna Pazii

Found. Trends Priv. Secur., 2017

Trading Optimality for Performance in Location Privacy.

[BibT_eX]

[DOI]

Serge Haddad

Ali Kassem

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Information Leakage Games.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 8th International Conference, 2017

2016

Compositional methods for information-hiding.

[BibT_eX]

[DOI]

Christelle Braun

Math. Struct. Comput. Sci., 2016

Axioms for Information Leakage.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Up-To Techniques for Generalized Bisimulation Metrics.

[BibT_eX]

[DOI]

Valeria Vignudelli

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Location privacy via geo-indistinguishability.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2015

Constructing elastic distinguishability metrics for location privacy.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2015

On the information leakage of differentially-private mechanisms.

[BibT_eX]

[DOI]

Pierpaolo Degano

J. Comput. Secur., 2015

Geo-indistinguishability: A Principled Approach to Location Privacy.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2015

2014

Compositionality Results for Quantitative Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

A Predictive Differentially-Private Mechanism for Mobility Traces.

[BibT_eX]

[DOI]

Proceedings of the Privacy Enhancing Technologies - 14th International Symposium, 2014

Metrics for Differential Privacy in Concurrent Systems.

[BibT_eX]

[DOI]

Lili Xu

Huimin Lin

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Additive and Multiplicative Notions of Leakage, and Their Capacities.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Generalized Bisimulation Metrics.

[BibT_eX]

[DOI]

Daniel Gebler

Lili Xu

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Optimal Geo-Indistinguishable Mechanisms for Location Privacy.

[BibT_eX]

[DOI]

Nicolás Emilio Bordenabe

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

Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

A Predictive Differentially-Private Mechanism for Location Privacy.

[BibT_eX]

[DOI]

CoRR, 2013

A Differentially Private Mechanism of Optimal Utility for a Region of Priors.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Second International Conference, 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

Epistemic Strategies and Games on Concurrent Processes.

[BibT_eX]

[DOI]

Sophia Knight

ACM Trans. Comput. Log., 2012

Linking Unlinkability.

[BibT_eX]

[DOI]

Mayla Brusò

Sandro Etalle

Jerry den Hartog

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Measuring Information Leakage Using Generalized Gain Functions.

[BibT_eX]

[DOI]

Geoffrey Smith

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

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

Making random choices invisible to the scheduler.

[BibT_eX]

[DOI]

Inf. Comput., 2010

Differential Privacy versus Quantitative Information Flow

[BibT_eX]

[DOI]

Pierpaolo Degano

CoRR, 2010

Statistical Measurement of Information Leakage.

[BibT_eX]

[DOI]

Tom Chothia

Apratim Guha

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

Formal Verification of Privacy for RFID Systems.

[BibT_eX]

[DOI]

Mayla Brusò

Jerry den Hartog

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Quantitative Notions of Leakage for One-try Attacks.

[BibT_eX]

[DOI]

Christelle Braun

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Epistemic Strategies and Games on Concurrent Processes.

[BibT_eX]

[DOI]

Sophia Knight

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Bisimulation for Demonic Schedulers.

[BibT_eX]

[DOI]

Gethin Norman

David Parker

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

On the Bayes risk in information-hiding protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2008

Anonymity protocols as noisy channels.

[BibT_eX]

[DOI]

Inf. Comput., 2008

A Monotonicity Principle for Information Theory.

[BibT_eX]

[DOI]

Keye Martin

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

Spécification et vérification des protocoles de sécurité probabilistes. (Probabilistic and Information-Theoretic Approaches to Anonymity).

[BibT_eX]

[DOI]

PhD thesis, 2007

A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Formal Approaches to Information-Hiding (Tutorial).

[BibT_eX]

[DOI]

Romain Beauxis

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Probability of Error in Information-Hiding Protocols.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Probable innocence revisited.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

2005

A Survey of Anonymous Peer-to-Peer File-Sharing.

[BibT_eX]

[DOI]

Tom Chothia

Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005

2004

Construction and Repair: A Hybrid Approach to Search in CSPs.

[BibT_eX]

[DOI]