Publications HAL de Catuscia, Palamidessi de la structure Comete

2019

Journal articles

titre
A Logical Characterization of Differential Privacy
auteur
Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
Science of Computer Programming, Elsevier, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02423048/file/facs18.pdf BibTex
titre
Dynamic slicing for Concurrent Constraint Languages
auteur
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02423973/file/FI-main.pdf BibTex
titre
An Axiomatization of Information Flow Measures
auteur
Mário Alvim, Konstantinos Chatzikokolakis, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, Annabelle Mciver
article
Theoretical Computer Science, Elsevier, 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
https://hal.archives-ouvertes.fr/hal-01995712/file/main.pdf BibTex

Conference papers

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
https://hal.inria.fr/hal-02424329/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-02422992/file/main.pdf 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
BibTex
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
SIGSPATIAL 2019 - 7th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 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
https://hal.archives-ouvertes.fr/hal-02423337/file/adriano.pdf 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
https://hal.archives-ouvertes.fr/hal-02126848/file/main.pdf 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
Accès au bibtex
https://arxiv.org/pdf/1906.12147 BibTex

Directions of work or proceedings

titre
Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)
auteur
Anuj Dawar, Anca Muscholl, Catuscia Palamidessi
article
Anuj Dawar; Anca Muscholl; Catuscia Palamidessi. Logical Methods in Computer Science, 2019
Accès au bibtex
BibTex

Books

titre
The Science of Quantitative Information Flow
auteur
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
article
Springer, In press
Accès au bibtex
BibTex