2018
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
2017
Article dans une revue
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-31Accès au bibtex
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
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-52Accès au texte intégral et 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
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, ItalyAccès au texte intégral et bibtex
2016
Article dans une revue
titre
Preserving differential privacy under finite-precision semantics auteur
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
article
Theoretical Computer Science , Elsevier, 2016Accès au texte intégral et bibtex
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
Communication dans un congrès
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
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.16Accès au texte intégral et bibtex
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 KingdomAccès au bibtex
2015
Article dans une revue
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-357Accès au texte intégral et 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
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
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-38Accès au 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-7Accès au 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
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
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
2014
Communication dans un congrès
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
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
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
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
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
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
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
