Publications HAL de Catuscia, Palamidessi

2021

Journal articles

titre
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks
auteur
Daniele Gorla, Federica Granese, Catuscia Palamidessi
article
International Journal of Information Security, Springer Verlag, 2021, ⟨10.1007/s10207-020-00530-7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03094843/file/main.pdf BibTex

2020

Journal articles

titre
Refinement Orders for Quantitative Information Flow and Differential Privacy
auteur
Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi
article
Journal of Cybersecurity and Privacy, MDPI, 2020, 1, pp.40 - 77. ⟨10.3390/jcp1010004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03091754/file/jcp-01-00004%20%281%29.pdf BibTex
titre
Dynamic slicing for Concurrent Constraint Languages
auteur
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02423973/file/paper.pdf BibTex
titre
A Logical Characterization of Differential Privacy
auteur
Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
Science of Computer Programming, Elsevier, 2020, 188, pp.102388. ⟨10.1016/j.scico.2019.102388⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02423048/file/facs18.pdf BibTex

Conference papers

titre
Estimating g-Leakage via Machine Learning
auteur
Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida
article
CCS '20 - 2020 ACM SIGSAC Conference on Computer and Communications Security, Nov 2020, Online, United States. pp.697-716
Accès au bibtex
https://arxiv.org/pdf/2005.04399 BibTex
titre
Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection
auteur
Ehab Elsalamouny, Catuscia Palamidessi
article
EuroS&P 2020 - 5th IEEE European Symposium on Security and Privacy, Sep 2020, Genova, Italy. pp.490-507
Accès au bibtex
https://arxiv.org/pdf/1909.02961 BibTex
titre
Modern Applications of Game-Theoretic Principles
auteur
Catuscia Palamidessi, Marco Romanelli
article
CONCUR 2020 - 31st International Conference on Concurrency Theory, Sep 2020, Vienne / Virtual, Austria. pp.4:1-4:9, ⟨10.4230/LIPIcs.CONCUR.2020.4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03091743/file/main.pdf BibTex
titre
Optimal Obfuscation Mechanisms via Machine Learning
auteur
Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi
article
CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Online, United States. pp.153-168
Accès au bibtex
https://arxiv.org/pdf/1904.01059 BibTex

Book sections

titre
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
auteur
Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli
article
Frank S. de Boer and Jacopo Mauro. Recent Developments in the Design and Implementation of Programming Languages, 86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.11:1-11:20, 2020, OASICS, ⟨10.4230/OASIcs.Gabbrielli.2020.11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03091740/file/main.pdf 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, pp.XXVIII, 478, 2020, ⟨10.1007/978-3-319-96131-6⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Information Leakage Games: Exploring Information as a Utility Function
auteur
Mário Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
article
2020
Accès au bibtex
https://arxiv.org/pdf/2012.12060 BibTex
titre
The Bayes Security Measure
auteur
Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso
article
2020
Accès au bibtex
https://arxiv.org/pdf/2011.03396 BibTex
titre
On the Applicability of ML Fairness Notions
auteur
Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
article
2020
Accès au bibtex
https://arxiv.org/pdf/2006.16745 BibTex
titre
Survey on Causal-based Machine Learning Fairness Notions
auteur
Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
article
2020
Accès au bibtex
https://arxiv.org/pdf/2010.09553 BibTex

2019

Journal articles

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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01995712/file/main.pdf 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
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02423337/file/adriano.pdf 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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02424329/file/main.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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02126848/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⟩
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⟩
Accès au bibtex
https://arxiv.org/pdf/1902.01350 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