Researchers

Catuscia Palamidessi
Former member
Inria Saclay Ile-de-France
Presentation

Catuscia Palamidessi is Research Director at Inria Saclay Ile de France and head of the Comète team.

Contact:
rf.euqinhcetylop.xil@aicsutac
0174854249
Publications at the Joint Centre:

2018

Communication dans un congrès

titre
Trading Optimality for Performance in Location Privacy
auteur
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
article
11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01678256/file/1710.05524.pdf BibTex

Rapport

titre
Differential Inference Testing A Practical Approach to Evaluate Anonymized Data
auteur
Ali Kassem, Gergely Acs, Claude Castelluccia, Catuscia Palamidessi
article
[Research Report] INRIA. 2018, pp.1-21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01681014/file/main.pdf BibTex

2017

Article dans une revue

titre
Efficient Utility Improvement for Location Privacy
auteur
Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2017, 2017 (4), pp.308-328. ⟨10.1515/popets-2017-0051⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01422842/file/PoPETS-published.pdf BibTex
titre
Methods for Location Privacy: A comparative overview
auteur
Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi, Anna Pazii
article
Foundations and Trends® in Privacy and Security , Now publishers inc, 2017, 1 (4), pp.199-257. ⟨10.1561/3300000017⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01421457/file/main.pdf BibTex
titre
On the Compositionality of Quantitative Information Flow
auteur
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-31
Accès au bibtex
https://arxiv.org/pdf/1611.00455 BibTex
titre
Quantifying Leakage in the Presence of Unreliable Sources of Information
auteur
Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone
article
Journal of Computer and System Sciences, Elsevier, 2017, 88, pp.27-52
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01421417/file/belief.pdf BibTex

2016

Article dans une revue

titre
Compositional methods for information-hiding
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006384/file/journal.pdf BibTex
titre
Preserving differential privacy under finite-precision semantics
auteur
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
article
Theoretical Computer Science, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390927/file/gazeau-draft-2014.pdf BibTex

Communication dans un congrès

titre
Slicing Concurrent Constraint Programs
auteur
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
article
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016, Edinburgh, United Kingdom
Accès au bibtex
https://arxiv.org/pdf/1608.05252 BibTex
titre
Axioms for Information Leakage
auteur
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
article
29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01330414/file/csf16-FinalVersion-CameraReady.pdf BibTex
titre
Up-To Techniques for Generalized Bisimulation Metrics
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli
article
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.35:1–35:14, ⟨10.4230/LIPIcs.CONCUR.2016.35⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01335234/file/paper.pdf BibTex

2015

Article dans une revue

titre
Constructing elastic distinguishability metrics for location privacy
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2015, 2015 (2), pp.156-170. ⟨10.1515/popets-2015-0023⟩
Accès au bibtex
https://arxiv.org/pdf/1503.00756 BibTex
titre
Abstract Interpretation of Temporal Concurrent Constraint Programs
auteur
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (3), pp.312-357
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945462/file/utcc-abs-tplp-CR.pdf BibTex
titre
On the information leakage of differentially-private mechanisms
auteur
Mário Sérgio Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
article
Journal of Computer Security, IOS Press, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00940425/file/full%28numbered_pages%29.pdf BibTex

Communication dans un congrès

titre
Location Privacy via Geo-Indistinguishability
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2015, Cali, Colombia. pp.28-38
Accès au bibtex
BibTex
titre
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
auteur
Catuscia Palamidessi
article
Proceedings of the 4th International Conference on Principles of Security and Trust (POST), 2015, London, United Kingdom. pp.3-7
Accès au bibtex
BibTex
titre
Geo-indistinguishability: A Principled Approach to Location Privacy
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
ICDCIT 2015 – Proceedings of the 11th International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. pp.49-72, ⟨10.1007/978-3-319-14977-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114241/file/paper.pdf BibTex

Chapitre d’ouvrage

titre
A Declarative View of Signaling Pathways
auteur
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
article
Chiara Bodei; Gian Luigi Ferrari; Corrado Priami. Programming Languages with Applications to Biology and Security, 9465, Springer, pp.183-201, 2015, Lecture Notes in Computer Science, 978-3-319-25526-2
Accès au bibtex
BibTex

Direction d’ouvrage, Proceedings, Dossier

titre
Special Issue on Quantitative Information Flow
auteur
Miguel E. Andrés, Geoffrey Smith, Catuscia Palamidessi
article
Andrés, Miguel; Palamidessi, Catuscia; Smith, Geoffrey. Cambridge University Press, 2015, ⟨10.1017/S0960129513000583⟩
Accès au bibtex
BibTex

2014

Communication dans un congrès

titre
Optimal Geo-Indistinguishable Mechanisms for Location Privacy
auteur
Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
CCS – 21st ACM Conference on Computer and Communications Security, Gail-Joon Ahn, Nov 2014, Scottsdale, Arizona, United States. pp.251-262, ⟨10.1145/2660267.2660345⟩
Accès au bibtex
https://arxiv.org/pdf/1402.5029 BibTex
titre
Compositionality Results for Quantitative Information Flow
auteur
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Sep 2014, Florence, Italy. pp.368-383, ⟨10.1007/978-3-319-10696-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006381/file/QEST2014long.pdf BibTex
titre
Additive and multiplicative notions of leakage, and their capacities
auteur
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
article
27th Computer Security Foundations Symposium (CSF 2014), Jul 2014, Vienna, Austria. pp.308–322, ⟨10.1109/CSF.2014.29⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00989462/file/csf14.pdf BibTex
titre
A Predictive Differentially-Private Mechanism for Mobility Traces
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
PETS 2014 – 14th Privacy Enhancing Technologies Symposium, Jul 2014, Amsterdam, Netherlands. pp.21-41, ⟨10.1007/978-3-319-08506-7_2⟩
Accès au bibtex
https://arxiv.org/pdf/1311.4008 BibTex
titre
Generalized bisimulation metrics
auteur
Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu
article
CONCUR – 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.32-46, ⟨10.1007/978-3-662-44584-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01011471/file/concur.pdf BibTex

Chapitre d’ouvrage

titre
Generalized differential privacy: regions of priors that admit robust optimal mechanisms
auteur
Ehab Elsalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
van Breugel, Franck and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan. Horizons of the Mind. A Tribute to Prakash Panangaden, 8464, Springer International Publishing, pp.292-318, 2014, Lecture Notes in Computer Science, 978-3-319-06879-4. ⟨10.1007/978-3-319-06880-0_16⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006380/file/main.pdf BibTex

Direction d’ouvrage, Proceedings, Dossier

titre
Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
auteur
Erika Ábrahám, Catuscia Palamidessi
article
Erika Abraham; Catuscia Palamidessi. 2014, France. 8461, Springer, 2014, Lecture Notes in Computer Science
Accès au bibtex
BibTex