| 2026 | AAAI | Estimating the True Distribution of Data Collected with Randomized Response. | Carlos Antonio Pinzn, Ehab ElSalamouny, Lucas Massot, Alexis Miller, Hber Hwang Arcolezi, Catuscia Palamidessi |
| 2024 | AAAI | Online Sensitivity Optimization in Differentially Private Learning. | Filippo Galli, Catuscia Palamidessi, Tommaso Cucinotta |
| 2024 | CCS | Poster: Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling. | Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi |
| 2023 | DBSEC | On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms. | Hber Hwang Arcolezi, Selene Cerna, Catuscia Palamidessi |
| 2023 | DBSEC | (Local) Differential Privacy has NO Disparate Impact on Fairness. | Hber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi |
| 2023 | EDBT | Frequency Estimation of Evolving Data Under Local Differential Privacy. | Hber Hwang Arcolezi, Carlos Pinzn, Catuscia Palamidessi, Sbastien Gambs |
| 2023 | ICISSP | Group Privacy for Personalized Federated Learning. | Filippo Galli, Sayan Biswas, Kangsoo Jung, Tommaso Cucinotta, Catuscia Palamidessi |
| 2023 | ICLR | On the application and impact of ε-DP and fairness in ambulance engagement time prediction. | Selene Cerna, Catuscia Palamidessi |
| 2023 | ISPEC | Obfuscation Padding Schemes that Minimize Rnyi Min-Entropy for Privacy. | Sebastian Simon, Cezara Petrui, Carlos Pinzn, Catuscia Palamidessi |
| 2022 | AAAI | On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints. | Carlos Pinzn, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia |
| 2022 | CVPR | Leveraging Adversarial Examples to Quantify Membership Information Leakage. | Ganesh Del Grosso, Hamid Jalalzai, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida |
| 2022 | ESORICS | Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. | Hber Hwang Arcolezi, Jean-Franois Couchot, Sbastien Gambs, Catuscia Palamidessi, Majid Zolfaghari |
| 2021 | CONCUR | CONCUR Test-Of-Time Award 2021 (Invited Paper). | Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida |
| 2021 | ICTAC | An Incentive Mechanism for Trading Personal Data in Data Markets. | Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi |
| 2021 | LCN | Public Wireless Packets Anonymously Hurt You. | Abhishek Kumar Mishra, Aline Carneiro Viana, Nadjib Achir, Catuscia Palamidessi |
| 2020 | CCS | Estimating g-Leakage via Machine Learning. | Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida |
| 2020 | CONCUR | Modern Applications of Game-Theoretic Principles (Invited Paper). | Catuscia Palamidessi, Marco Romanelli |
| 2019 | ICTAC | Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. | Daniele Gorla, Federica Granese, Catuscia Palamidessi |
| 2019 | SP | Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets. | Ali Kassem, Gergely cs, Claude Castelluccia, Catuscia Palamidessi |
| 2019 | SP | F-BLEAU: Fast Black-Box Leakage Estimation. | Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2018 | CCS | Geometric Noise for Locally Private Counting Queries. | Lefki Kacem, Catuscia Palamidessi |
| 2016 | CONCUR | Up-To Techniques for Generalized Bisimulation Metrics. | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli |
| 2016 | LOPSTR | Slicing Concurrent Constraint Programs. | Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi |
| 2015 | ICDCIT | Geo-indistinguishability: A Principled Approach to Location Privacy. | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati |
| 2015 | ICTAC | Location Privacy via Geo-Indistinguishability. | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati |
| 2014 | CCS | Optimal Geo-Indistinguishable Mechanisms for Location Privacy. | Nicols Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2014 | CONCUR | Generalized Bisimulation Metrics. | Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu |
| 2013 | CCS | Geo-indistinguishability: differential privacy for location-based systems. | Miguel E. Andrs, Nicols Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2013 | WoLLIC | Quantitative Approaches to Information Protection. | Catuscia Palamidessi |
| 2012 | CONCUR | Spatial and Epistemic Modalities in Constraint-Based Process Calculi. | Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia |
| 2011 | FOSSACS | Deriving Labels and Bisimilarity for Concurrent Constraint Programming. | Andrs Aristizbal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia |
| 2011 | ICALP | On the Relation between Differential Privacy and Quantitative Information Flow. | Mrio S. Alvim, Miguel E. Andrs, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2010 | CONCUR | Information Flow in Interactive Systems. | Mrio S. Alvim, Miguel E. Andrs, Catuscia Palamidessi |
| 2010 | LICS | Probabilistic Information Flow. | Mrio S. Alvim, Miguel E. Andrs, Catuscia Palamidessi |
| 2010 | MPC | Compositionality of Secure Information Flow. | Catuscia Palamidessi |
| 2010 | SP | Reconciling Belief and Vulnerability in Information Flow. | Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi |
| 2010 | TACAS | Computing the Leakage of Information-Hiding Systems. | Miguel E. Andrs, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith |
| 2009 | PPDP | A framework for abstract interpretation of timed concurrent constraint programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
| 2008 | FOSSACS | Compositional Methods for Information-Hiding. | Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2007 | APLAS | A Probabilistic Applied Pi-Calculus. | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
| 2007 | CONCUR | Making Random Choices Invisible to the Scheduler. | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2007 | ICLP | Declarative Diagnosis of Temporal Concurrent Constraint Programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2007 | ICLP | Universal Timed Concurrent Constraint Programming. | Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2006 | ICLP | A Declarative Framework for Security: Secure Concurrent Constraint Programming. | Hugo A. Lpez, Catuscia Palamidessi, Jorge Andrs Prez, Camilo Rueda, Frank D. Valencia |
| 2006 | LICS | On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. | Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Bjrn Victor |
| 2005 | CONCUR | Probabilistic Anonymity. | Mohit Bhargava, Catuscia Palamidessi |
| 2005 | FOSSACS | Axiomatizations for Probabilistic Finite-State Behaviors. | Yuxin Deng, Catuscia Palamidessi |
| 2002 | PPDP | On the expressive power of temporal concurrent constraint programming languages. | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
| 2002 | PPDP | Mobile calculi for distributed programming. | Catuscia Palamidessi |
| 2001 | CP | A Temporal Concurrent Constraint Programming Calculus. | Catuscia Palamidessi, Frank D. Valencia |
| 2001 | PODC | On the generalized dining philosophers problem. | Oltea Mihaela Herescu, Catuscia Palamidessi |
| 2000 | FOSSACS | Probabilistic Asynchronous pi-Calculus. | Oltea Mihaela Herescu, Catuscia Palamidessi |
| 1999 | CONCUR | Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility. | Catuscia Palamidessi |
| 1999 | LOPSTR | The Replacement Operation for CCP Programs. | Marco Bertolino, Sandro Etalle, Catuscia Palamidessi |
| 1997 | Coordination | Partial Order and SOS Semantics for Linear Constraint Programs. | Eike Best, Frank S. de Boer, Catuscia Palamidessi |
| 1997 | POPL | Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. | Catuscia Palamidessi |
| 1996 | CONCUR | Linear Constraint Systems as High-Level Nets. | Eike Best, Catuscia Palamidessi |
| 1996 | SAS | Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. | Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi |
| 1995 | SAS | Complementation in Abstract Interpretation | Agostino Cortesi, Gilberto Fil, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato |
| 1994 | ESOP | A Logical Denotational Semantics for Constraint Logic Programming. | Alessandra Di Pierro, Catuscia Palamidessi |
| 1994 | ICLP | Proving correctness of Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1994 | ICLP | Denotational semantics for Concurrent Constraint Programs analyses. | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1994 | POPL | Proving Concurrent Constraint Programs Correct. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1993 | LICS | Compositional Analysis for Concurrent Constraint Programming | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1992 | ICLP | A Process Algebra of Concurrent Constraint Programming. | Frank S. de Boer, Catuscia Palamidessi |
| 1992 | LICS | Asynchronous Communication in Process Algebra | Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi |
| 1991 | CONCUR | The Failure of Failures in a Paradigm for Asynchronous Communication. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1991 | CONCUR | Embedding as a Tool for Language Comparison: On the CSP Hierarchy. | Frank S. de Boer, Catuscia Palamidessi |
| 1991 | ICLP | Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. | Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi |
| 1990 | CONCUR | On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. | Frank S. de Boer, Catuscia Palamidessi |
| 1990 | ICALP | Algebraic Properties of Idempotent Substitutions. | Catuscia Palamidessi |
| 1989 | ICLP | Semantic Models for a Version of PARLOG. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1989 | MFCS | Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1988 | ICLP | A New Declarative Semantics for Logic Languages. | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
| 1987 | ICLP | An Approach to the Declarative Semantics of Synchronization in Logic Languages. | Giorgio Levi, Catuscia Palamidessi |
| 1983 | ICLP | On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. | Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi |