2019

Journal articles

titre

An Axiomatization of Information Flow Measures

auteur

Mário S. Alvim, Konstantinos Chatzikokolakis, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, Annabelle Mciver

article

Theoretical Computer Science, 2019, 777, pp.32-54. ⟨10.1016/j.tcs.2018.10.016⟩

DOI

DOI : 10.1016/j.tcs.2018.10.016

Accès au texte intégral et bibtex

Conference papers

titre

Catch Me If You Can: How Geo-indistinguishability Affects Utility in Mobility-based Geographic Datasets

auteur

Adriano Di Luzio, Aline Carneiro Viana, Konstantinos Chatzikokolakis, Georgi Dikov, Catuscia Palamidessi, Julinda Stefa

article

LocalRec2019 workshop, jointly with ACM SIGSPATIAL 2019, Nov 2019, Chicago, United States. pp.1-10, ⟨10.1145/3356994.3365498⟩

DOI

DOI : 10.1145/3356994.3365498

Accès au texte intégral et bibtex

titre

Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks

auteur

Daniele Gorla, Federica Granese, Catuscia Palamidessi

article

ICTAC 2019 - 16th International Colloquium on Theoretical Aspects of Computing, Oct 2019, Hammamet, Tunisia. pp.313-331, ⟨10.1007/978-3-030-32505-3_18⟩

DOI

DOI : 10.1007/978-3-030-32505-3_18

Accès au texte intégral et bibtex

titre

Comparing systems: max-case refinement orders and application to differential privacy

auteur

Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi

article

CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.442--457, ⟨10.1109/CSF.2019.00037⟩

DOI

DOI : 10.1109/CSF.2019.00037

Accès au texte intégral et bibtex

titre

Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets

auteur

Ali Kassem, Gergely Acs, Claude Castelluccia, Catuscia Palamidessi

article

SPW 2019 - 40th IEEE Symposium on Security and Privacy Workshops, May 2019, San Francisco, United States. pp.72-79, ⟨10.1109/SPW.2019.00024⟩

DOI

DOI : 10.1109/SPW.2019.00024

Accès au texte intégral et bibtex

titre

F-BLEAU: Fast Black-Box Leakage Estimation

auteur

Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi

article

S&P 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.835-852, ⟨10.1109/SP.2019.00073⟩

DOI

DOI : 10.1109/SP.2019.00073

Accès au bibtex

Book sections

titre

Utility-Preserving Privacy Mechanisms for Counting Queries

auteur

Natasha Fernandes, Kacem Lefki, Catuscia Palamidessi

article

Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese. Models, Languages and Tools for Concurrent and Distributed Programming, 11665, Springer, pp.487-495, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-21485-2_27⟩

DOI

DOI : 10.1007/978-3-030-21485-2_27

Accès au bibtex

Special issue

titre

Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)

auteur

Anuj Dawar, Anca Muscholl, Catuscia Palamidessi

article

Logical Methods in Computer Science, 2019

Accès au bibtex