Publications HAL de Catuscia, Palamidessi

2021

Journal articles

titre
On the Applicability of ML Fairness Notions
auteur
Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
article
SIGKDD Explorations Newsletter, 2021, 23 (1), pp.14-23. ⟨10.1145/3468507.3468511⟩
Accès au bibtex
BibTex
titre
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks
auteur
Federica Granese, Daniele Gorla, Catuscia Palamidessi
article
International Journal of Information Security, 2021, 20 (5), pp.673-782. ⟨10.1007/s10207-020-00530-7⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03094843/file/main.pdf BibTex
titre
Machine learning fairness notions: Bridging the gap with real-world applications
auteur
Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
article
Information Processing and Management, 2021, 58 (5), ⟨10.1016/j.ipm.2021.102642⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03624025/file/S0306457321001321.pdf BibTex

Conference papers

titre
Public Wireless Packets Anonymously Hurt You
auteur
Abhishek Kumar Mishra, Aline Carneiro Viana, Nadjib Achir, Catuscia Palamidessi
article
IEEE LCN 2021 (Doctoral-track - Promising ideas), Oct 2021, Edmonton / Virtual, Canada. ⟨10.1109/LCN52139.2021.9524956⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03298339/file/Public_Wireless_Packets_Anonymously_Hurt_You.pdf BibTex
titre
An Incentive Mechanism for Trading Personal Data in Data Markets
auteur
Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
article
International Colloquium on Theoretical Aspects of Computing 2021, Sep 2021, Nur-Sultan, Kazakhstan. pp.197-213, ⟨10.1007/978-3-030-85315-0_12⟩
Accès au bibtex
https://arxiv.org/pdf/2106.14187 BibTex
titre
CONCUR Test-Of-Time Award 2021
auteur
Nathalie Bertrand, Luca de Alfaro, Robert J van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
article
Concur 2021 - International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-3
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03480255/file/ConcurToT21.pdf BibTex
titre
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption
auteur
Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith
article
2021 IEEE 34th Computer Security Foundations Symposium (CSF), Jun 2021, Dubrovnik, France. pp.1-16, ⟨10.1109/CSF51468.2021.00046⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03906677/file/Order%20Revealing%20Encryption.pdf BibTex
titre
DOCTOR: A Simple Method for Detecting Misclassification Errors
auteur
Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida
article
Advances in Neural Information Processing Systems (NeurIPS), 2021, Virtual event, United States. pp.5669--5681
Accès au texte intégral et bibtex
https://hal.science/hal-03624023/file/DOCTOR_1.pdf BibTex

Book sections

titre
Establishing the Price of Privacy in Federated Data Trading
auteur
Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
article
Protocols, Strands, and Logic, 13066, Springer International Publishing, pp.232-250, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91631-2_13⟩
Accès au bibtex
https://arxiv.org/pdf/2111.15415 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, 2020, 1, pp.40 - 77. ⟨10.3390/jcp1010004⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩
Accès au texte intégral et bibtex
https://hal.science/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, 2020, 188, pp.102388. ⟨10.1016/j.scico.2019.102388⟩
Accès au texte intégral et bibtex
https://hal.science/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
Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS), Nov 2020, Online, United States. pp.697-716
Accès au texte intégral et bibtex
https://hal.science/hal-03091469/file/g-leeakege.pdf 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://inria.hal.science/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.science/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
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
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 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⟩
Accès au texte intégral et bibtex
https://hal.science/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
LocalRec2019 workshop, jointly with ACM SIGSPATIAL 2019, Nov 2019, Chicago, United States. pp.1-10, ⟨10.1145/3356994.3365498⟩
Accès au texte intégral et bibtex
https://hal.science/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://inria.hal.science/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.science/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.science/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, ⟨10.1007/978-3-030-21485-2_27⟩
Accès au bibtex
https://arxiv.org/pdf/1906.12147 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
BibTex