default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCatuscia Palamidessi
Person information
- affiliation: École Polytechnique, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j81]Karima Makhlouf, Héber Hwang Arcolezi, Sami Zhioua, Ghassen Ben Brahim, Catuscia Palamidessi:
On the impact of multi-dimensional local differential privacy on fairness. Data Min. Knowl. Discov. 38(4): 2252-2275 (2024)- [j80]Karima Makhlouf
, Sami Zhioua, Catuscia Palamidessi:
When causality meets fairness: A survey. J. Log. Algebraic Methods Program. 141: 101000 (2024) - [j79]Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia:
On the incompatibility of accuracy and equal opportunity. Mach. Learn. 113(5): 2405-2434 (2024) - [j78]Sayan Biswas, Catuscia Palamidessi:
PRIVIC: A privacy-preserving method for incremental collection of location data. Proc. Priv. Enhancing Technol. 2024(1): 582-596 (2024) - [j77]Catuscia Palamidessi:
Chair's Letter. ACM SIGLOG News 11(2): 2 (2024) - [j76]Catuscia Palamidessi:
Chair's Letter. ACM SIGLOG News 11(3): 2 (2024) - [c173]Filippo Galli, Catuscia Palamidessi, Tommaso Cucinotta:
Online Sensitivity Optimization in Differentially Private Learning. AAAI 2024: 12109-12117 - [c172]Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi:
Poster: Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling. CCS 2024: 5036-5038 - [c171]Ruta Binkyte, Carlos Antonio Pinzóon, Szilvia Lestyan, Kangsoo Jung, Héber Hwang Arcolezi, Catuscia Palamidessi:
Causal Discovery Under Local Privacy. CLeaR 2024: 325-383 - [c170]Karima Makhlouf, Tamara Stefanovic, Héber Hwang Arcolezi, Catuscia Palamidessi:
A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results. CSF 2024: 1-16 - [c169]Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi:
BaBE: Enhancing Fairness via Estimation of Explaining Variables. FAccT 2024: 1917-1925 - [i65]Karima Makhlouf, Tamara Stefanovic, Héber Hwang Arcolezi, Catuscia Palamidessi:
A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results. CoRR abs/2405.14725 (2024) - [i64]Sayan Biswas, Mark Dras, Pedro Faustini, Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Parastoo Sadeghi:
Bayes' capacity as a measure for reconstruction attacks in federated learning. CoRR abs/2406.13569 (2024) - [i63]Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi:
Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling. CoRR abs/2411.06458 (2024) - [i62]Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting. CoRR abs/2411.10059 (2024) - 2023
- [j75]Ganesh Del Grosso, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida:
Bounding information leakage in machine learning. Neurocomputing 534: 1-17 (2023) - [j74]Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding:
Universal optimality and robust utility bounds for metric differential privacy. J. Comput. Secur. 31(5): 539-580 (2023) - [j73]Héber Hwang Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi:
On the Risks of Collecting Multidimensional Data Under Local Differential Privacy. Proc. VLDB Endow. 16(5): 1126-1139 (2023) - [j72]Catuscia Palamidessi:
Chair's Letter. ACM SIGLOG News 10(1): 2 (2023) - [j71]Filippo Galli, Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi, Tommaso Cucinotta:
Advancing Personalized Federated Learning: Group Privacy, Fairness, and Beyond. SN Comput. Sci. 4(6): 831 (2023) - [c168]Catuscia Palamidessi:
Local Methods for Privacy Protection and Impact on Fairness. CODASPY 2023: 103 - [c167]Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso:
Bayes Security: A Not So Average Metric. CSF 2023: 388-406 - [c166]Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi:
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. CSF 2023: 423-438 - [c165]Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi:
(Local) Differential Privacy has NO Disparate Impact on Fairness. DBSec 2023: 3-21 - [c164]Héber Hwang Arcolezi, Selene Cerna, Catuscia Palamidessi:
On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms. DBSec 2023: 165-183 - [c163]Héber Hwang Arcolezi, Carlos Pinzón, Catuscia Palamidessi, Sébastien Gambs:
Frequency Estimation of Evolving Data Under Local Differential Privacy. EDBT 2023: 512-525 - [c162]Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi:
Tight Differential Privacy Guarantees for the Shuffle Model with k-Randomized Response. FPS (1) 2023: 440-458 - [c161]Filippo Galli, Sayan Biswas, Kangsoo Jung, Tommaso Cucinotta, Catuscia Palamidessi:
Group Privacy for Personalized Federated Learning. ICISSP 2023: 252-263 - [c160]Selene Cerna, Catuscia Palamidessi:
On the application and impact of ε-DP and fairness in ambulance engagement time prediction. Tiny Papers @ ICLR 2023 - [c159]Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida:
On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper). ICTCS 2023: 219-224 - [c158]Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi:
Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy. ISPEC 2023: 74-90 - [i61]Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi:
(Local) Differential Privacy has NO Disparate Impact on Fairness. CoRR abs/2304.12845 (2023) - [i60]Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi:
Analyzing the Shuffle Model through the Lens of Quantitative Information Flow. CoRR abs/2305.13075 (2023) - [i59]Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi:
BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables. CoRR abs/2307.02891 (2023) - [i58]Héber Hwang Arcolezi, Selene Cerna, Catuscia Palamidessi:
On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms. CoRR abs/2307.07744 (2023) - [i57]Filippo Galli, Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi, Tommaso Cucinotta:
Advancing Personalized Federated Learning: Group Privacy, Fairness, and Beyond. CoRR abs/2309.00416 (2023) - [i56]Filippo Galli, Catuscia Palamidessi, Tommaso Cucinotta:
Online Sensitivity Optimization in Differentially Private Learning. CoRR abs/2310.00829 (2023) - [i55]Ruta Binkyte, Carlos Pinzón, Szilvia Lestyán, Kangsoo Jung, Héber Hwang Arcolezi, Catuscia Palamidessi:
Causal Discovery Under Local Privacy. CoRR abs/2311.04037 (2023) - [i54]Karima Makhlouf, Héber Hwang Arcolezi, Sami Zhioua, Ghassen Ben Brahim, Catuscia Palamidessi:
On the Impact of Multi-dimensional Local Differential Privacy on Fairness. CoRR abs/2312.04404 (2023) - 2022
- [j70]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games: Exploring Information as a Utility Function. ACM Trans. Priv. Secur. 25(3): 20:1-20:36 (2022) - [c157]Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia:
On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints. AAAI 2022: 7993-8000 - [c156]Ruta Binkyte, Karima Makhlouf, Carlos Pinzón, Sami Zhioua, Catuscia Palamidessi:
Causal Discovery for Fairness. AFCP 2022: 7-22 - [c155]Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding:
Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CSF 2022: 348-363 - [c154]Ganesh Del Grosso, Hamid Jalalzai, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida:
Leveraging Adversarial Examples to Quantify Membership Information Leakage. CVPR 2022: 10389-10399 - [c153]Héber Hwang Arcolezi, Jean-François Couchot, Sébastien Gambs, Catuscia Palamidessi, Majid Zolfaghari:
Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. ESORICS (3) 2022: 770-775 - [i53]Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi:
Identifiability of Causal-based Fairness Notions: A State of the Art. CoRR abs/2203.05900 (2022) - [i52]Ganesh Del Grosso, Hamid Jalalzai, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida:
Leveraging Adversarial Examples to Quantify Membership Information Leakage. CoRR abs/2203.09566 (2022) - [i51]Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding:
Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CoRR abs/2205.01258 (2022) - [i50]Héber Hwang Arcolezi, Jean-François Couchot, Sébastien Gambs, Catuscia Palamidessi, Majid Zolfaghari:
Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. CoRR abs/2205.02648 (2022) - [i49]Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi:
Tight Differential Privacy Blanket for Shuffle Model. CoRR abs/2205.04410 (2022) - [i48]Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi:
Tight Differential Privacy Guarantees for the Shuffle Model with k-Randomized Response. CoRR abs/2205.08858 (2022) - [i47]Ugur-Ilker Atmaca, Sayan Biswas, Carsten Maple, Catuscia Palamidessi:
A privacy preserving querying mechanism with high utility for electric vehicles. CoRR abs/2206.02060 (2022) - [i46]Filippo Galli, Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi, Tommaso Cucinotta:
Group privacy for personalized federated learning. CoRR abs/2206.03396 (2022) - [i45]Ruta Binkyte-Sadauskiene, Karima Makhlouf, Carlos Pinzón, Sami Zhioua, Catuscia Palamidessi:
Causal Discovery for Fairness. CoRR abs/2206.06685 (2022) - [i44]Sayan Biswas, Catuscia Palamidessi:
Three-way optimization of privacy and utility of location data. CoRR abs/2206.10525 (2022) - [i43]Ehab ElSalamouny, Catuscia Palamidessi:
Reconstruction of the distribution of sensitive data under free-will privacy. CoRR abs/2208.11268 (2022) - [i42]Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida:
On the (Im)Possibility of Estimating Various Notions of Differential Privacy. CoRR abs/2208.14414 (2022) - [i41]Héber Hwang Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi:
On the Risks of Collecting Multidimensional Data Under Local Differential Privacy. CoRR abs/2209.01684 (2022) - [i40]Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi:
Minimizing Information Leakage under Padding Constraints. CoRR abs/2209.04379 (2022) - [i39]Guilherme Alves, Fabien Bernier, Miguel Couceiro, Karima Makhlouf, Catuscia Palamidessi, Sami Zhioua:
Survey on Fairness Notions and Related Tensions. CoRR abs/2209.13012 (2022) - [i38]Héber Hwang Arcolezi, Carlos Pinzón, Catuscia Palamidessi, Sébastien Gambs:
Frequency Estimation of Evolving Data Under Local Differential Privacy. CoRR abs/2210.00262 (2022) - 2021
- [j69]Federica Granese, Daniele Gorla, Catuscia Palamidessi:
Enhanced models for privacy and utility in continuous-time diffusion networks. Int. J. Inf. Sec. 20(5): 763-782 (2021) - [j68]Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi:
Machine learning fairness notions: Bridging the gap with real-world applications. Inf. Process. Manag. 58(5): 102642 (2021) - [j67]Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi:
On the Applicability of Machine Learning Fairness Notions. SIGKDD Explor. 23(1): 14-23 (2021) - [c152]Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi:
Establishing the Price of Privacy in Federated Data Trading. Protocols, Strands, and Logic 2021: 232-250 - [c151]Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida:
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR 2021: 1:1-1:3 - [c150]Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith:
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. CSF 2021: 1-16 - [c149]Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi:
An Incentive Mechanism for Trading Personal Data in Data Markets. ICTAC 2021: 197-213 - [c148]Abhishek Kumar Mishra, Aline Carneiro Viana, Nadjib Achir, Catuscia Palamidessi:
Public Wireless Packets Anonymously Hurt You. LCN 2021: 649-652 - [c147]Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida:
DOCTOR: A Simple Method for Detecting Misclassification Errors. NeurIPS 2021: 5669-5681 - [i37]Ganesh Del Grosso, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida:
Bounding Information Leakage in Machine Learning. CoRR abs/2105.03875 (2021) - [i36]Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida:
DOCTOR: A Simple Method for Detecting Misclassification Errors. CoRR abs/2106.02395 (2021) - [i35]Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi:
An Incentive Mechanism for Trading Personal Data in Data Markets. CoRR abs/2106.14187 (2021) - [i34]Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia:
On the impossibility of non-trivial accuracy under fairness constraints. CoRR abs/2107.06944 (2021) - [i33]Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi:
Establishing the Price of Privacy in Federated Data Trading. CoRR abs/2111.15415 (2021) - 2020
- [b1]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
The Science of Quantitative Information Flow. Information Security and Cryptography, Springer 2020, ISBN 978-3-319-96129-3, pp. I-XXVIII, 1-478 - [j66]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae 177(3-4): 331-357 (2020) - [j65]Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi:
Refinement Orders for Quantitative Information Flow and Differential Privacy. J. Cybersecur. Priv. 1(1): 40-77 (2020) - [j64]Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A logical characterization of differential privacy. Sci. Comput. Program. 188: 102388 (2020) - [c146]Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli:
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. Gabbrielli's Festschrift 2020: 11:1-11:20 - [c145]Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida:
Estimating g-Leakage via Machine Learning. CCS 2020: 697-716 - [c144]Catuscia Palamidessi, Marco Romanelli:
Modern Applications of Game-Theoretic Principles (Invited Paper). CONCUR 2020: 4:1-4:9 - [c143]Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Optimal Obfuscation Mechanisms via Machine Learning. CSF 2020: 153-168 - [c142]Ehab ElSalamouny, Catuscia Palamidessi:
Generalized Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection. EuroS&P 2020: 490-507 - [i32]Catuscia Palamidessi, Marco Romanelli:
Feature selection in machine learning: Rényi min-entropy vs Shannon entropy. CoRR abs/2001.09654 (2020) - [i31]Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida:
Estimating g-Leakage via Machine Learning. CoRR abs/2005.04399 (2020) - [i30]Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi:
On the Applicability of ML Fairness Notions. CoRR abs/2006.16745 (2020) - [i29]Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi:
Survey on Causal-based Machine Learning Fairness Notions. CoRR abs/2010.09553 (2020) - [i28]Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso:
The Bayes Security Measure. CoRR abs/2011.03396 (2020) - [i27]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games: Exploring Information as a Utility Function. CoRR abs/2012.12060 (2020)
2010 – 2019
- 2019
- [j63]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
An axiomatization of information flow measures. Theor. Comput. Sci. 777: 32-54 (2019) - [c141]Natasha Fernandes, Lefki Kacem, Catuscia Palamidessi:
Utility-Preserving Privacy Mechanisms for Counting Queries. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 487-495 - [c140]Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi:
Comparing Systems: Max-Case Refinement Orders and Application to Differential Privacy. CSF 2019: 442-457 - [c139]Adriano Di Luzio, Aline Carneiro Viana, Konstantinos Chatzikokolakis, Georgi Dikov, Catuscia Palamidessi, Julinda Stefa:
Catch me if you can: how geo-indistinguishability affects utility in mobility-based geographic datasets. LocalRec@SIGSPATIAL 2019: 8:1-8:10 - [c138]Daniele Gorla, Federica Granese, Catuscia Palamidessi:
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. ICTAC 2019: 313-331 - [c137]Ali Kassem, Gergely Ács, Claude Castelluccia, Catuscia Palamidessi:
Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets. IEEE Symposium on Security and Privacy Workshops 2019: 72-79 - [c136]Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
F-BLEAU: Fast Black-Box Leakage Estimation. IEEE Symposium on Security and Privacy 2019: 835-852 - [i26]Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
F-BLEAU: Fast Black-box Leakage Estimation. CoRR abs/1902.01350 (2019) - [i25]Marco Romanelli, Catuscia Palamidessi, Konstantinos Chatzikokolakis:
Generating Optimal Privacy-Protection Mechanisms via Machine Learning. CoRR abs/1904.01059 (2019) - [i24]Natasha Fernandes, Lefki Kacem, Catuscia Palamidessi:
Utility-Preserving Privacy Mechanisms for Counting Queries. CoRR abs/1906.12147 (2019) - [i23]Ehab ElSalamouny, Catuscia Palamidessi:
Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection. CoRR abs/1909.02961 (2019) - 2018
- [j62]Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar:
Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS 124 (2018) - [j61]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy 20(5): 382 (2018) - [c135]Catuscia Palamidessi, Marco Romanelli:
Feature Selection with Rényi Min-Entropy. ANNPR 2018: 226-239 - [c134]Lefki Kacem, Catuscia Palamidessi:
Geometric Noise for Locally Private Counting Queries. PLAS@CCS 2018: 13-16 - [c133]Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii:
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. CSF 2018: 262-267 - [c132]Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A Logical Characterization of Differential Privacy via Behavioral Metrics. FACS 2018: 75-96 - [c131]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Leakage and Protocol Composition in a Game-Theoretic Perspective. POST 2018: 134-159 - [i22]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Leakage and Protocol Composition in a Game-Theoretic Perspective. CoRR abs/1802.10465 (2018) - [i21]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. CoRR abs/1803.10042 (2018) - [i20]Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii:
Metric-based local differential privacy for statistical applications. CoRR abs/1805.01456 (2018) - 2017
- [j60]Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi:
Alonzo Church Award 2017 - Call for Nominations. Bull. EATCS 121 (2017) - [j59]Konstantinos Chatzikokolakis, Ehab ElSalamouny, Catuscia Palamidessi, Anna Pazii:
Methods for Location Privacy: A comparative overview. Found. Trends Priv. Secur. 1(4): 199-257 (2017) - [j58]Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone:
Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. 88: 27-52 (2017) - [j57]Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the Compositionality of Quantitative Information Flow. Log. Methods Comput. Sci. 13(3) (2017) - [j56]Konstantinos Chatzikokolakis, Ehab ElSalamouny, Catuscia Palamidessi:
Efficient Utility Improvement for Location Privacy. Proc. Priv. Enhancing Technol. 2017(4): 308-328 (2017) - [c130]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games. GameSec 2017: 437-457 - [c129]Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi:
Trading Optimality for Performance in Location Privacy. VALUETOOLS 2017: 221-222 - [i19]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games. CoRR abs/1705.05030 (2017) - [i18]Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi:
Trading Optimality for Performance in Location Privacy. CoRR abs/1710.05524 (2017) - 2016
- [j55]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun:
Compositional methods for information-hiding. Math. Struct. Comput. Sci. 26(6): 908-932 (2016) - [j54]Ivan Gazeau, Dale Miller, Catuscia Palamidessi:
Preserving differential privacy under finite-precision semantics. Theor. Comput. Sci. 655: 92-108 (2016) - [c128]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli:
Up-To Techniques for Generalized Bisimulation Metrics. CONCUR 2016: 35:1-35:14 - [c127]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
Axioms for Information Leakage. CSF 2016: 77-92 - [c126]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs. LOPSTR 2016: 76-93 - [i17]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs. CoRR abs/1608.05252 (2016) - [i16]Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the Compositionality of Quantitative Information Flow. CoRR abs/1611.00455 (2016) - 2015
- [j53]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
On the information leakage of differentially-private mechanisms. J. Comput. Secur. 23(4): 427-469 (2015) - [j52]Miguel E. Andrés, Catuscia Palamidessi, Geoffrey Smith:
Preface to the special issue on quantitative information flow. Math. Struct. Comput. Sci. 25(2): 203-206 (2015) - [j51]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Constructing elastic distinguishability metrics for location privacy. Proc. Priv. Enhancing Technol. 2015(2): 156-170 (2015) - [j50]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Location privacy via geo-indistinguishability. ACM SIGLOG News 2(3): 46-69 (2015) - [j49]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract interpretation of temporal concurrent constraint programs. Theory Pract. Log. Program. 15(3): 312-357 (2015) - [c125]Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security 2015: 183-201 - [c124]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Geo-indistinguishability: A Principled Approach to Location Privacy. ICDCIT 2015: 49-72 - [c123]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Location Privacy via Geo-Indistinguishability. ICTAC 2015: 28-38 - [c122]Catuscia Palamidessi:
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges. POST 2015: 3-7 - [i15]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Constructing elastic distinguishability metrics for location privacy. CoRR abs/1503.00756 (2015) - 2014
- [j48]Konstantinos Chatzikokolakis, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang:
Foundational aspects of security. J. Comput. Secur. 22(2): 201-202 (2014) - [c121]Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms. Horizons of the Mind 2014: 292-318 - [c120]Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Optimal Geo-Indistinguishable Mechanisms for Location Privacy. CCS 2014: 251-262 - [c119]Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu:
Generalized Bisimulation Metrics. CONCUR 2014: 32-46 - [c118]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF 2014: 308-322 - [c117]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
A Predictive Differentially-Private Mechanism for Mobility Traces. Privacy Enhancing Technologies 2014: 21-41 - [c116]Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Compositionality Results for Quantitative Information Flow. QEST 2014: 368-383 - [e15]Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten:
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 8464, Springer 2014, ISBN 978-3-319-06879-4 [contents] - [e14]Erika Ábrahám, Catuscia Palamidessi:
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Lecture Notes in Computer Science 8461, Springer 2014, ISBN 978-3-662-43612-7 [contents] - [i14]Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Optimal Geo-Indistinguishable Mechanisms for Location Privacy. CoRR abs/1402.5029 (2014) - 2013
- [c115]Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Geo-indistinguishability: differential privacy for location-based systems. CCS 2013: 901-914 - [c114]Konstantinos Chatzikokolakis, Miguel E. Andrés, Nicolás Emilio Bordenabe, Catuscia Palamidessi:
Broadening the Scope of Differential Privacy Using Metrics. Privacy Enhancing Technologies 2013: 82-102 - [c113]Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A Differentially Private Mechanism of Optimal Utility for a Region of Priors. POST 2013: 41-62 - [c112]Catuscia Palamidessi:
Quantitative Approaches to Information Protection. WoLLIC 2013: 31-32 - [c111]Ivan Gazeau, Dale Miller, Catuscia Palamidessi:
Preserving differential privacy under finite-precision semantics. QAPL 2013: 1-18 - [e13]Catuscia Palamidessi, Mark Dermot Ryan:
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8191, Springer 2013, ISBN 978-3-642-41156-4 [contents] - [i13]Catuscia Palamidessi:
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi. CoRR abs/1307.2062 (2013) - [i12]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
A Predictive Differentially-Private Mechanism for Location Privacy. CoRR abs/1311.4008 (2013) - [i11]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract Interpretation of Temporal Concurrent Constraint Programs. CoRR abs/1312.2552 (2013) - 2012
- [j47]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Quantitative information flow in interactive systems. J. Comput. Secur. 20(1): 3-50 (2012) - [j46]Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi:
Preface. Theor. Comput. Sci. 430: 1-2 (2012) - [j45]Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. 13(4): 28:1-28:35 (2012) - [c110]Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia:
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332 - [c109]Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith:
Measuring Information Leakage Using Generalized Gain Functions. CSF 2012: 265-279 - [c108]Ivan Gazeau, Dale Miller, Catuscia Palamidessi:
A non-local method for robustness analysis of floating point programs. QAPL 2012: 63-76 - [c107]Marco Giunti, Catuscia Palamidessi, Frank D. Valencia:
Hide and New in the Pi-Calculus. EXPRESS/SOS 2012: 65-79 - [c106]Catuscia Palamidessi, Marco Stronati:
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems. QAPL 2012: 92-105 - [e12]Sebastian Mödersheim, Catuscia Palamidessi:
Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Lecture Notes in Computer Science 6993, Springer 2012, ISBN 978-3-642-27374-2 [contents] - [i10]Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Geo-Indistinguishability: Differential Privacy for Location-Based Systems. CoRR abs/1212.1984 (2012) - [i9]Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi:
Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports 2(11): 135-154 (2012) - 2011
- [j44]Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova:
Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412(28): 3072-3089 (2011) - [c105]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Quantitative Information Flow and Applications to Differential Privacy. FOSAD 2011: 211-230 - [c104]Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia:
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FoSSaCS 2011: 138-152 - [c103]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the Relation between Differential Privacy and Quantitative Information Flow. ICALP (2) 2011: 60-76 - [c102]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy: On the Trade-Off between Utility and Information Leakage. Formal Aspects in Security and Trust 2011: 39-54 - [i8]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy: on the trade-off between Utility and Information Leakage. CoRR abs/1103.5188 (2011) - [i7]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the relation between Differential Privacy and Quantitative Information Flow. CoRR abs/1109.6761 (2011) - 2010
- [j43]Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Making random choices invisible to the scheduler. Inf. Comput. 208(6): 694-715 (2010) - [j42]Daniele Gorla, Catuscia Palamidessi:
Preface. J. Comput. Secur. 18(2): 189 (2010) - [c101]Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417 - [c100]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Information Flow in Interactive Systems. CONCUR 2010: 102-116 - [c99]Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés:
Interactive Information Flow - (Invited Talk). ARSPA-WITS 2010: 111 - [c98]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Entropy and Attack Models in Information Flow - (Invited Talk). IFIP TCS 2010: 53-54 - [c97]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum:
Safe Equivalences for Security Properties. IFIP TCS 2010: 55-70 - [c96]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Probabilistic Information Flow. LICS 2010: 314-321 - [c95]Catuscia Palamidessi:
Compositionality of Secure Information Flow. MPC 2010: 19 - [c94]Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova:
Information Hiding in Probabilistic Concurrent Systems. QEST 2010: 17-26 - [c93]Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi:
Reconciling Belief and Vulnerability in Information Flow. IEEE Symposium on Security and Privacy 2010: 79-92 - [c92]Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith:
Computing the Leakage of Information-Hiding Systems. TACAS 2010: 373-389 - [p1]Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia:
Concurrent and Reactive Constraint Programming. 25 Years GULP 2010: 231-253 - [i6]Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy versus Quantitative Information Flow. CoRR abs/1012.4250 (2010)
2000 – 2009
- 2009
- [j41]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Explicit fairness in testing semantics. Log. Methods Comput. Sci. 5(2) (2009) - [j40]Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun:
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. J. Appl. Non Class. Logics 19(4): 489-516 (2009) - [j39]Romain Beauxis, Catuscia Palamidessi:
Probabilistic and nondeterministic aspects of anonymity. Theor. Comput. Sci. 410(41): 4006-4025 (2009) - [j38]Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi:
Foreword. Theor. Comput. Sci. 410(46): 4601-4602 (2009) - [j37]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. 35(2): 209-223 (2009) - [c91]Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny:
Probable Innocence in the Presence of Independent Knowledge. Formal Aspects in Security and Trust 2009: 141-156 - [c90]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218 - [c89]Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi:
Preface. MFPS 2009: 1-2 - [c88]Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Quantitative Notions of Leakage for One-try Attacks. MFPS 2009: 75-91 - [e11]Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi:
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009. Electronic Notes in Theoretical Computer Science 249, Elsevier 2009 [contents] - [e10]Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia:
SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture Notes in Computer Science 5404, Springer 2009, ISBN 978-3-540-95890-1 [contents] - 2008
- [j36]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Anonymity protocols as noisy channels. Inf. Comput. 206(2-4): 378-401 (2008) - [j35]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
On the Bayes risk in information-hiding protocols. J. Comput. Secur. 16(5): 531-571 (2008) - [c87]Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia:
On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492 - [c86]Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Compositional Methods for Information-Hiding. FoSSaCS 2008: 443-457 - [c85]Abhishek Bhowmick, Catuscia Palamidessi:
Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols. TGC 2008: 36-51 - [e9]Catuscia Palamidessi, Frank Valencia:
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006. Electronic Notes in Theoretical Computer Science 209, Elsevier 2008 [contents] - 2007
- [j34]Yuxin Deng, Catuscia Palamidessi:
Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. 373(1-2): 92-114 (2007) - [j33]Giuseppe F. Italiano, Catuscia Palamidessi:
Preface. Theor. Comput. Sci. 380(1-2): 1 (2007) - [j32]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007) - [j31]Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi:
Tutorial on separation results in process calculi via leader election problems. Theor. Comput. Sci. 388(1-3): 267-289 (2007) - [j30]Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange. Theor. Comput. Sci. 389(3): 512-527 (2007) - [c84]Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina:
A Probabilistic Applied Pi-Calculus. APLAS 2007: 175-190 - [c83]Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Making Random Choices Invisible to the Scheduler. CONCUR 2007: 42-58 - [c82]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Probability of Error in Information-Hiding Protocols. CSF 2007: 341-354 - [c81]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia:
Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285 - [c80]Carlos Olarte, Catuscia Palamidessi, Frank Valencia:
Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465 - [c79]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model checking the probabilistic pi-calculus. QEST 2007: 169-178 - [c78]Peng Wu, Catuscia Palamidessi, Huimin Lin:
Symbolic Bisimulations for Probabilistic Systems. QEST 2007: 179-188 - [c77]Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Formal Approaches to Information-Hiding (Tutorial). TGC 2007: 347-362 - [c76]Daniele Gorla, Catuscia Palamidessi:
Preface. SecCO@CONCUR 2007: 1-2 - [e8]Daniele Gorla, Catuscia Palamidessi:
Proceedings of the Fifth Workshop on Security Issues in Concurrency, SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(1), Elsevier 2007 [contents] - [i5]Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Making Random Choices Invisible to the Scheduler. CoRR abs/0705.3503 (2007) - 2006
- [j29]Catuscia Palamidessi, Frank D. Valencia:
Languages for Concurrency. Bull. EATCS 90: 155-171 (2006) - [j28]Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Probable innocence revisited. Theor. Comput. Sci. 367(1-2): 123-138 (2006) - [c75]Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia:
On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO 2006: 185-206 - [c74]Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia:
A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP 2006: 449-450 - [c73]Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor:
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS 2006: 59-68 - [c72]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Anonymity Protocols as Noisy Channels. TGC 2006: 281-300 - [c71]Catuscia Palamidessi, Frank D. Valencia:
Preface. LIX 2006: 1-4 - [c70]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Fair Pi. EXPRESS 2006: 3-26 - [c69]Sylvain Pradalier, Catuscia Palamidessi:
Expressiveness of Probabilistic pi. QAPL 2006: 119-136 - 2005
- [j27]Catuscia Palamidessi, Frank D. Valencia:
Recursion vs Replication in Process Calculi: Expressiveness. Bull. EATCS 87: 105-125 (2005) - [j26]Catuscia Palamidessi, Oltea Mihaela Herescu:
A randomized encoding of the Pi-calculus with mixed choice. Theor. Comput. Sci. 335(2-3): 373-404 (2005) - [c68]Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337 - [c67]Mohit Bhargava, Catuscia Palamidessi:
Probabilistic Anonymity. CONCUR 2005: 171-185 - [c66]Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi:
Separation Results Via Leader Election Problems. FMCO 2005: 172-194 - [c65]Yuxin Deng, Catuscia Palamidessi:
Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS 2005: 110-124 - [c64]Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Probable Innocence Revisited. Formal Aspects in Security and Trust 2005: 142-157 - [c63]Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange. TGC 2005: 146-162 - [c62]Catuscia Palamidessi:
Probabilistic and Nondeterministic Aspects of Anonymity. MFPS 2005: 33-42 - [c61]Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Weak Probabilistic Anonymity. SecCO@CONCUR 2005: 55-76 - [c60]Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang:
Metrics for Action-labelled Quantitative Transition Systems. QAPL 2005: 79-96 - [c59]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of Synchronous and Asynchronous Communication Via Testing. EXPRESS 2005: 95-108 - [c58]Axelle Ziegler, Dale Miller, Catuscia Palamidessi:
A Congruence Format for Name-passing Calculi. SOS@ICALP 2005: 169-189 - [c57]Catuscia Palamidessi:
Anonymity in Probabilistic and Nondeterministic Systems. APC 25 2005: 277-279 - [e7]Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung:
Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Lecture Notes in Computer Science 3580, Springer 2005, ISBN 3-540-27580-0 [contents] - [i4]Catuscia Palamidessi, Mohit Bhargava:
Probabilistic Anonymity. Foundations of Global Computing 2005 - 2003
- [j25]Catuscia Palamidessi:
Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. Math. Struct. Comput. Sci. 13(5): 685-719 (2003) - [j24]Raymond McDowell, Dale Miller, Catuscia Palamidessi:
Encoding transition systems in sequent calculus. Theor. Comput. Sci. 294(3): 411-437 (2003) - [e6]Catuscia Palamidessi:
Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Lecture Notes in Computer Science 2916, Springer 2003, ISBN 3-540-20642-6 [contents] - 2002
- [j23]Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia:
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9(1): 145-188 (2002) - [c56]Catuscia Palamidessi, Oltea Mihaela Herescu:
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. IFIP TCS 2002: 537-549 - [c55]Catuscia Palamidessi, M. Pilquist:
A Randomized Solution to the Distributed Resource Allocation Problem. IASTED PDCS 2002: 247-252 - [c54]Catuscia Palamidessi:
Mobile calculi for distributed programming. PPDP 2002: 74-75 - [c53]Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia:
On the expressive power of temporal concurrent constraint programming languages. PPDP 2002: 156-167 - [c52]Catuscia Palamidessi:
On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk). EXPRESS 2002: 3 - 2001
- [j22]Catuscia Palamidessi:
Foreword. Theor. Comput. Sci. 253(2): 153 (2001) - [c51]Catuscia Palamidessi, Frank D. Valencia:
A Temporal Concurrent Constraint Programming Calculus. CP 2001: 302-316 - [c50]Oltea Mihaela Herescu, Catuscia Palamidessi:
On the generalized dining philosophers problem. PODC 2001: 81-89 - [i3]Oltea Mihaela Herescu, Catuscia Palamidessi:
Probabilistic asynchronous pi-calculus. CoRR cs.PL/0109002 (2001) - [i2]Oltea Mihaela Herescu, Catuscia Palamidessi:
On the generalized dining philosophers problem. CoRR cs.PL/0109003 (2001) - 2000
- [j21]Catuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek:
Preface. Inf. Comput. 156(1-2): 1 (2000) - [c49]David R. Gilbert, Catuscia Palamidessi:
Concurrent Constraint Programming with Process Mobility. Computational Logic 2000: 463-477 - [c48]Oltea Mihaela Herescu, Catuscia Palamidessi:
Probabilistic Asynchronous pi-Calculus. FoSSaCS 2000: 146-160 - [e5]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents] - [e4]Catuscia Palamidessi:
CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Lecture Notes in Computer Science 1877, Springer 2000, ISBN 3-540-67897-2 [contents]
1990 – 1999
- 1999
- [j20]Dale Miller, Catuscia Palamidessi:
Foundational Aspects of Syntax. ACM Comput. Surv. 31(3es): 11 (1999) - [j19]Catuscia Palamidessi:
Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - [c47]Marco Bertolino, Sandro Etalle, Catuscia Palamidessi:
The Replacement Operation for CCP Programs. APPIA-GULP-PRODE 1999: 441-454 - [c46]Catuscia Palamidessi:
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility. CONCUR 1999: 28-29 - [c45]Marco Bertolino, Sandro Etalle, Catuscia Palamidessi:
The Replacement Operation for CCP Programs. LOPSTR 1999: 216-233 - 1998
- [c44]Ilaria Castellani, Catuscia Palamidessi:
Preface. EXPRESS 1998: 171-172 - [e3]Ilaria Castellani, Catuscia Palamidessi:
Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(2), Elsevier 1998 [contents] - [e2]Catuscia Palamidessi, Hugh Glaser, Karl Meinke:
Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings. Lecture Notes in Computer Science 1490, Springer 1998, ISBN 3-540-65012-1 [contents] - [i1]Catuscia Palamidessi:
Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus. CoRR cs.PL/9809008 (1998) - 1997
- [j18]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput. 137(1): 41-67 (1997) - [j17]Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi:
An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. 7(1): 1-38 (1997) - [j16]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183(2): 281-315 (1997) - [j15]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) - [j14]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997) - [c43]Eike Best, Frank S. de Boer, Catuscia Palamidessi:
Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION 1997: 256-273 - [c42]Catuscia Palamidessi:
Constraint programming for concurrent and distributed computing. JFPLC 1997: 11- - [c41]Catuscia Palamidessi:
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. POPL 1997: 256-265 - [c40]Catuscia Palamidessi, Joachim Parrow:
Foreword. EXPRESS 1997: 1-2 - [e1]Catuscia Palamidessi, Joachim Parrow:
International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997. Electronic Notes in Theoretical Computer Science 7, Elsevier 1997 [contents] - 1996
- [c39]Eike Best, Catuscia Palamidessi:
Linear Constraint Systems as High-Level Nets. CONCUR 1996: 498-513 - [c38]Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi:
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996: 83-97 - [c37]Raymond McDowell, Dale Miller, Catuscia Palamidessi:
Encoding Transition Systems in Sequent Calculus. Linear Logic Tokyo Meeting 1996: 138-152 - 1995
- [j13]Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi:
Negation as Instantiation. Inf. Comput. 120(2): 263-278 (1995) - [j12]Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi:
Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. 151(1): 37-78 (1995) - [c36]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming. AMAST 1995: 531-545 - [c35]Frank S. de Boer, Catuscia Palamidessi, Eike Best:
Concurrent Constraint Programming with Information Removal. CCP 1995: 1:1-1:13 - [c34]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. SAS 1995: 100-117 - 1994
- [j11]Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi:
A Declarative Approach for First-Order Built-in's of Prolog. Appl. Algebra Eng. Commun. Comput. 5: 159-191 (1994) - [j10]Frank S. de Boer, Catuscia Palamidessi:
Embedding as a Tool for Language Comparison. Inf. Comput. 108(1): 128-157 (1994) - [c33]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming. GULP-PRODE (1) 1994: 140-154 - [c32]Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa:
Fixpoint Semantics of L lambda. GULP-PRODE (1) 1994: 187-201 - [c31]Catuscia Palamidessi:
Concurrent Constraint Programming. ALP 1994: 1-2 - [c30]Alessandra Di Pierro, Catuscia Palamidessi:
A Logical Denotational Semantics for Constraint Logic Programming. ESOP 1994: 195-210 - [c29]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving correctness of Concurrent Constraint Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c28]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Denotational semantics for Concurrent Constraint Programs analyses. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c27]Catuscia Palamidessi:
Concurrent Constraint Programming. PLILP 1994: 1-2 - [c26]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct. POPL 1994: 98-108 - 1993
- [j9]Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Inf. Comput. 103(1): 86-113 (1993) - [c25]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Compositional Analysis for Concurrent Constraint Programming. LICS 1993: 210-221 - [c24]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Non-monotonic Concurrent Constraint Programming. ILPS 1993: 315-334 - [c23]Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi:
Fixpoint Semantics of L-lambda. ILPS 1993: 666 - 1992
- [j8]Seif Haridi, Sverker Janson, Catuscia Palamidessi:
Structural operational semantics for AKL. Future Gener. Comput. Syst. 8(4): 409-421 (1992) - [j7]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. Theor. Comput. Sci. 101(2): 239-263 (1992) - [c22]Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi:
A Theory of First-Order Built-in's of Prolog. ALP 1992: 69-83 - [c21]Frank S. de Boer, Catuscia Palamidessi:
On the Semantics of Concurrent Constraint Programming. ALPUK 1992: 145-173 - [c20]Frank S. de Boer, Catuscia Palamidessi:
A Process Algebra of Concurrent Constraint Programming. JICSLP 1992: 463-477 - [c19]Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi:
Asynchronous Communication in Process Algebra. LICS 1992: 137-147 - [c18]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
On Blocks: Locality and Asynchronous Communication (Extended Abstract). REX Workshop 1992: 73-90 - 1991
- [j6]Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi:
Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42(2): 139-185 (1991) - [j5]Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi:
Comments on "Logic-Programming with Equations". J. Log. Program. 11(1&2): 85-89 (1991) - [j4]Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi:
Semantic Models for Concurrent Logic Languages. Theor. Comput. Sci. 86(1): 3-33 (1991) - [c17]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR 1991: 111-126 - [c16]Frank S. de Boer, Catuscia Palamidessi:
Embedding as a Tool for Language Comparison: On the CSP Hierarchy. CONCUR 1991: 127-141 - [c15]Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi:
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ICLP 1991: 32-45 - [c14]Seif Haridi, Catuscia Palamidessi:
Structural Operational Semantics for Kernel Andorra Prolog. PARLE (2) 1991: 238-253 - [c13]Frank S. de Boer, Catuscia Palamidessi:
A Fully Abstract Model for Concurrent Constraint Programming. TAPSOFT, Vol.1 1991: 296-319 - 1990
- [c12]Frank S. de Boer, Catuscia Palamidessi:
On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. CONCUR 1990: 99-114 - [c11]Catuscia Palamidessi:
Algebraic Properties of Idempotent Substitutions. ICALP 1990: 386-399 - [c10]Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
Failure and Success made Symmetric. NACLP 1990: 3-22 - [c9]Frank S. de Boer, Catuscia Palamidessi:
Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP 1990: 175-194
1980 – 1989
- 1989
- [j3]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69(3): 289-318 (1989) - [c8]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Semantic Models for a Version of PARLOG. ICLP 1989: 621-636 - [c7]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. MFCS 1989: 165-176 - 1988
- [j2]Giorgio Levi, Catuscia Palamidessi:
Contributions to the Semantics of Logic Perpetual Processes. Acta Informatica 25(6): 691-711 (1988) - [c6]Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005 - 1987
- [c5]Giorgio Levi, Catuscia Palamidessi:
An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP 1987: 877-893 - [c4]Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi:
A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) 1987: 374-393 - [c3]Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso:
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP 1987: 318-327 - 1985
- [c2]Giorgio Levi, Catuscia Palamidessi:
The Declarative Semantics of Logical Read-Only Variables. SLP 1985: 128-137 - 1984
- [j1]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses. Inf. Control. 60(1-3): 36-69 (1984) - 1983
- [c1]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. Logic Programming Workshop 1983: 474-484
Coauthor Index
[i62] [c167] [j70] [b1] [j65] [j64] [c145] [c143] [i31] [i28] [i27] [j63] [c140] [c139] [c136] [i26] [i25] [j61] [c133] [c132] [c131] [i22] [i21] [i20] [j59] [j57] [j56] [c130] [c129] [i19] [i18] [j55] [c128] [c127] [i16] [j53] [j51] [j50] [c124] [c123] [i15] [j48] [c121] [c120] [c119] [c118] [c117] [c116] [i14] [c115] [c114] [c113] [i12] [j45] [c109] [i10] [c105] [c103] [c102] [i8] [i7] [j43] [i6] [c88] [j36] [j35] [c86] [j30] [c83] [c82] [c77] [i5] [j28] [c72] [c64] [c63]
Frank D. Valencia
aka: Frank Valencia
aka: Frank Valencia
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-02 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
