2025
Article dans une revue
- titre
- Enhancing Metric Privacy With a Shuffler
- auteur
- Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Proceedings on Privacy Enhancing Technologies, 2025
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting
- auteur
- Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- CSF 2025 – 38th IEEE Computer Security Foundations Symposium, IEEE, Jun 2025, Santa Cruz, United States
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- The Sound of Silence in Social Networks
- auteur
- Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia
- article
- 2025
- Accès au texte intégral et bibtex
-
2024
Article dans une revue
- titre
- When causality meets fairness: A survey
- auteur
- Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
- article
- Journal of Logical and Algebraic Methods in Programming, 2024, 141, pp.101000. ⟨10.1016/J.JLAMP.2024.101000⟩
- Accès au texte intégral et bibtex
-
- titre
- Revealing the True Cost of Locally Differentially Private Protocols: An Auditing Perspective
- auteur
- Héber H. Arcolezi, Sébastien Gambs
- article
- Proceedings on Privacy Enhancing Technologies, 2024, 2024 (4), pp.123 – 141. ⟨10.56553/popets-2024-0110⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Impact of Multi-dimensional Local Differential Privacy on Fairness
- auteur
- Karima Makhlouf, Héber Hwang Arcolezi, Sami Zhioua, Ghassen Ben Brahim, Catuscia Palamidessi
- article
- Data Mining and Knowledge Discovery, 2024, pp.1-24. ⟨10.1007/s10618-024-01031-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Improving the utility of locally differentially private protocols for longitudinal and multidimensional frequency estimates
- auteur
- Héber Hwang Arcolezi, Jean-François Couchot, Bechara Al Bouna, Xiaokui Xiao
- article
- Digital Communications and Networks, 2024, 10 (2), pp.369-379. ⟨10.1016/j.dcan.2022.07.003⟩
- Accès au texte intégral et bibtex
-
- titre
- On the incompatibility of accuracy and equal opportunity
- auteur
- Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
- article
- Machine Learning, 2024, 113 (5), pp.2405-2434. ⟨10.1007/s10994-023-06331-y⟩
- Accès au texte intégral et bibtex
-
- titre
- A Privacy-Preserving Querying Mechanism with High Utility for Electric Vehicles
- auteur
- Ugur Ilker Atmaca, Sayan Biswas, Carsten Maple, Catuscia Palamidessi
- article
- IEEE Open Journal of Vehicular Technology, 2024, 5, pp.262-277. ⟨10.1109/OJVT.2024.3360302⟩
- Accès au texte intégral et bibtex
-
- titre
- PRIVIC: A privacy-preserving method for incremental collection of location data
- auteur
- Sayan Biswas, Catuscia Palamidessi
- article
- Proceedings on Privacy Enhancing Technologies, 2024, 2024 (1), pp.582-596. ⟨10.56553/popets-2024-0033⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Consensus in Models for Opinion Dynamics with Generalized-Bias
- auteur
- Juan Paz, Camilo Rocha, Luis Tobòn, Frank Valencia
- article
- COMPLEX NETWORKS 2024 – 13th International Conference on Complex Networks & Their Applications, Dec 2024, Istanbul, Turkey. pp.253-269, ⟨10.48550/arXiv.2409.10809⟩
- Accès au texte intégral et bibtex
-
- titre
- Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling
- auteur
- Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi
- article
- CCS 2024 – The ACM Conference on Computer and Communications Security, ACM, Oct 2024, Salt Lake City, United States. pp.5036-5038, ⟨10.1145/3658644.3691411⟩
- Accès au texte intégral et bibtex
-
- titre
- Fairness and Consensus in an Asynchronous Opinion Model for Social Networks
- auteur
- Jesús Aranda, Sebastián Betancourt, Juan Fco, Frank Valencia
- article
- CONCUR 2024 – 35th International Conference on Concurrency Theory, Sep 2024, Calgary, Canada. ⟨10.4230/LIPIcs.CONCUR.2024.22⟩
- Accès au texte intégral et bibtex
-
- titre
- Privacy-Aware Document Visual Question Answering
- auteur
- Tito Rubèn, Khanh Nguyen, Marlon Tobabon, Raouf Kerkouche, Mohamed Ali Souibgui, Kangsoo Jung, Joonas Jälkö, Vincent Poulain d’Andecy, Aurelie Joseph, Lei Kang, Ernest Valveny, Antti Honkela, Mario Fritz, Dimosthenis Karatzas
- article
- ICDAR 2024 – 18th International Conference on Document Analysis and Recognition, Aug 2024, Athene, Greece. ⟨10.48550/arXiv.2312.10108⟩
- Accès au texte intégral et bibtex
-
- titre
- Noiseless Privacy-Preserving Decentralized Learning
- auteur
- Sayan Biswas, Mathieu Even, Anne-Marie Kermarrec, Laurent Massoulié, Rafael Pires, Rishi Sharma, Martijn de Vos
- article
- PETS 2025 – 25th Privacy Enhancing Technologies Symposium, Jul 2024, Bristol, United Kingdom. pp.824 – 844, ⟨10.56553/popets-2025-0043⟩
- Accès au texte intégral et bibtex
-
- titre
- A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results
- auteur
- Karima Makhlouf, Tamara Stefanović, Héber Hwang Arcolezi, Catuscia Palamidessi
- article
- CSF 2024 – 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands. pp.1-16, ⟨10.1109/CSF61375.2024.00039⟩
- Accès au texte intégral et bibtex
-
- titre
- A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases
- auteur
- Mário Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
- article
- FORTE 2024 – 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2024, Groningen, Netherlands. pp.3-19, ⟨10.1007/978-3-031-62645-6_1⟩
- Accès au texte intégral et bibtex
-
- titre
- BaBE: Enhancing Fairness via Estimation of Explaining Variables
- auteur
- Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
- article
- FAccT 2024 – The ACM Conference on Fairness, Accountability, and Transparency, Jun 2024, Rio de Janeiro, Brazil. pp.1917 – 1925, ⟨10.1145/3630106.3659016⟩
- Accès au texte intégral et bibtex
-
- titre
- Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
- auteur
- Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
- article
- WRLA 2024 – 15th International Workshop on Rewriting Logic and its Applications, Apr 2024, Luxembourg, Luxembourg. pp.3-19, ⟨10.1007/978-3-031-65941-6_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Causal Discovery Under Local Privacy
- auteur
- Ruta Binkyte, Carlos Pinzón, Szilvia Lestyán, Kangsoo Jung, Héber Hwang Arcolezi, Catuscia Palamidessi
- article
- Third Conference on Causal Learning and Reasoning, Apr 2024, Los Angeles, CA, United States. pp.325-383
- Accès au texte intégral et bibtex
-
- titre
- Online Sensitivity Optimization in Differentially Private Learning
- auteur
- Filippo Galli, Catuscia Palamidessi, Tommaso Cucinotta
- article
- AAAI 2024 – National Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.12109-12117, ⟨10.1609/aaai.v38i11.29099⟩
- Accès au texte intégral et bibtex
-
Poster de conférence
- titre
- Investigating hippocampal synaptic plasticity in schizophrenia: A computational and experimental approach using MEA recordings
- auteur
- Sarah Hamdi Cherif, Candice Roux, Valentine Bouet, Jean-Marie Billard, Jérémie Gaidamour, Laure Buhry, Radu Ranta
- article
- Bernstein Conference, Sep 2024, Frankfurt, Germany. 2024, ⟨10.12751/nncn.bc2024.244⟩
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Promouvoir l’IA éthique et responsable : explorer l’équité, la confidentialité et l’explicabilité à travers des perspectives causales
- auteur
- Karima Makhlouf
- article
- Artificial Intelligence [cs.AI]. École polytechnique, 2024. English. ⟨NNT : 2024IPPAX057⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- A Web Application Software for Causal-based Machine Learning Discrimination Estimation
- auteur
- Raluca Panainte, Yassine Turki, Sami Zhioua
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Dissecting Causal Biases
- auteur
- Rūta Binkytė, Sami Zhioua, Yassine Turki
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Article dans une revue
- titre
- Advancing Personalized Federated Learning: Group Privacy, Fairness, and Beyond
- auteur
- Filippo Galli, Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi, Tommaso Cucinotta
- article
- SN Computer Science, 2023, Volume 4, issue 6, November 2023, 4 (6), pp.831. ⟨10.1007/s42979-023-02292-0⟩
- Accès au texte intégral et bibtex
-
- titre
- A Halfspace-Mass Depth-Based Method for Adversarial Attack Detection
- auteur
- Marine Picot, Federica Granese, Guillaume Staerman, Marco Romanelli, Francisco Messina, Pablo Piantanida, Pierre Colombo
- article
- Transactions on Machine Learning Research Journal, 2023
- Accès au texte intégral et bibtex
-
- titre
- Universal optimality and robust utility bounds for metric differential privacy
- auteur
- Natasha Fernandes, Annabelle Mciver, Catuscia Palamidessi, Ming Ding
- article
- Journal of Computer Security, 2023, pp.1-42. ⟨10.3233/JCS-230036⟩
- Accès au texte intégral et bibtex
-
- titre
- Gender and sex bias in COVID-19 epidemiological data through the lens of causality
- auteur
- Natalia Díaz-Rodríguez, Rūta Binkytė, Wafae Bakkali, Sannidhi Bookseller, Paola Tubaro, Andrius Bacevičius, Sami Zhioua, Raja Chatila
- article
- Information Processing and Management, 2023, 60 (3), pp.103276. ⟨10.1016/j.ipm.2023.103276⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Model for Polarization under Confirmation Bias in Social Networks
- auteur
- Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
- article
- Logical Methods in Computer Science, 2023, ⟨10.46298/lmcs-19(1:18)2023⟩
- Accès au bibtex
-
- titre
- On the Risks of Collecting Multidimensional Data Under Local Differential Privacy
- auteur
- Héber H. Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi
- article
- Proceedings of the VLDB Endowment (PVLDB), 2023, 16 (5), pp.1126 – 1139. ⟨10.14778/3579075.3579086⟩
- Accès au texte intégral et bibtex
-
- titre
- Survey on Fairness Notions and Related Tensions
- auteur
- Guilherme Alves, Fabien Bernier, Miguel Couceiro, Karima Makhlouf, Catuscia Palamidessi, Sami Zhioua
- article
- EURO journal on decision processes, In press, ⟨10.1016/j.ejdp.2023.100033⟩
- Accès au texte intégral et bibtex
-
- titre
- Bounding Information Leakage in Machine Learning
- auteur
- Ganesh Del Grosso, George Pichler, Catuscia Palamidessi, Pablo Piantanida
- article
- Neurocomputing, 2023, 534, pp.1-17. ⟨10.1016/j.neucom.2023.02.058⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper)
- auteur
- Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
- article
- ICTCS 2023 – The 24th Italian Conference on Theoretical Computer Science, Sep 2023, Palermo, Italy. pp.219–224
- Accès au texte intégral et bibtex
-
- titre
- Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy
- auteur
- Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
- article
- ISPEC 2023 – The 18th International Conference on Information Security Practice and Experience, Aug 2023, Coppenhagen, Denmark. pp.74-90, ⟨10.1007/978-981-99-7032-2_5⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms
- auteur
- Héber Hwang Arcolezi, Selene Cerna, Catuscia Palamidessi
- article
- DBSec 2023 – 37th IFIP Annual Conference on Data and Applications Security and Privacy, Vijay Atluri; Anna Lisa Ferrara, Jul 2023, Sophia Antipolis, France. pp.165-183, ⟨10.1007/978-3-031-37586-6_11⟩
- Accès au texte intégral et bibtex
-
- titre
- (Local) Differential Privacy has NO Disparate Impact on Fairness
- auteur
- Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi
- article
- DBSec 2023 – the 37th IFIP Annual Conference on Data and Applications Security and Privacy, Vijay Atluri; Anna Lisa Ferrara, Jul 2023, SOPHIA ANTIPOLIS, France. pp.3-21, ⟨10.1007/978-3-031-37586-6_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow
- auteur
- Mireya Jurado, Ramon Goncalves Gonze, Mário S Alvim, Catuscia Palamidessi
- article
- CSF 2023 – 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. pp.423-438, ⟨10.1109/CSF57540.2023.00033⟩
- Accès au texte intégral et bibtex
-
- titre
- Bayes Security: A Not So Average Metric
- auteur
- Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso
- article
- CSF 2023 – 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. ⟨10.1109/CSF57540.2023.00011⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Duality of Privacy and Fairness
- auteur
- Mário S. Alvim, Natasha Fernandes, Bruno D Nogueira, Catuscia Palamidessi, Thiago V A Silva
- article
- CADE 2023 – International Conference on AI and the Digital Economy, Jun 2023, Venice, Italy. p. 46 – 48
- Accès au texte intégral et bibtex
-
- titre
- Frequency Estimation of Evolving Data Under Local Differential Privacy
- auteur
- Héber Hwang Arcolezi, Catuscia Palamidessi, Carlos Pinzón, Sébastien Gambs
- article
- EDBT 2023 – 26th International Conference on Extending Database Technology, May 2023, Ioánnina, Greece. pp.512-525, ⟨10.48786/edbt.2023.44⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Application and Impact of differential privacy and Fairness in Ambulance Engagement Time Prediction
- auteur
- Selene Cerna, Catuscia Palamidessi
- article
- ICLR 2023 – The First Tiny Papers Track at ICLR 2023, May 2023, Kigali, Rwanda
- Accès au texte intégral et bibtex
-
- titre
- Local Methods for Privacy Protection and Impact on Fairness
- auteur
- Catuscia Palamidessi
- article
- CODASPY 2023 – Thirteenth ACM Conference on Data and Application Security and Privacy, Apr 2023, Charlotte NC, United States. ⟨10.1145/3577923.3587263⟩
- Accès au texte intégral et bibtex
-
- titre
- Group privacy for personalized federated learning
- auteur
- Filippo Galli, Sayan Biswas, Kangsoo Jung, Tommaso Cucinotta, Catuscia Palamidessi
- article
- Proceedings of the 9th International Conference on Information Systems Security and Privacy – ICISSP, 2023, Lisbon, Portugal. pp.252-263, ⟨10.5220/0011885000003405⟩
- Accès au bibtex
-
Rapport
- titre
- D3.1: Sanitization strategies and utility results
- auteur
- Nadjib Achir, Aline Carneiro Viana, Marcelo Dias de Amorim, Fernando Dias de Mello Silva, Guillaume Farhi-Rivasseau, Anne Fladenmuller, Yacine Ghamri-Doudane, Jean-Loup Guillaume, Antoine Huchet, Abhishek Kumar Mishra, Fernando Molano Ortiz, Catuscia Palamidessi, Mohammad Imran Syed
- article
- D3.1, Sorbonne Université (Paris, France); Inria Saclay – Île de France; La Rochelle Université, France. 2023
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Faire avancer l’IA éthique : Méthodes d’amélioration de l’équité fondées sur la causalité et soumises à des contraintes de confidentialité
- auteur
- Rūta Binkytė
- article
- Computer Science [cs]. Ecole Polytechnique (EDX), 2023. English. ⟨NNT : 2023IPPAX145⟩
- Accès au texte intégral et bibtex
-
- titre
- Exploring fairness and privacy in machine learning
- auteur
- Carlos Pinzón
- article
- Computer Science [cs]. Ecole Polytechnique, 2023. English. ⟨NNT : 2023IPPAX126⟩
- Accès au texte intégral et bibtex
-
- titre
- Fuite de données par les réseaux de neurones
- auteur
- Ganesh del Grosso Guzman
- article
- Statistics [math.ST]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAX159⟩
- Accès au texte intégral et bibtex
-
- titre
- Understanding and optimizing the trade-off between privacy and utility from a foundational perspective
- auteur
- Sayan Biswas
- article
- Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAX092⟩
- Accès au texte intégral et bibtex
-
- titre
- Sécurisation des Algorithmes d’Apprentissage Automatique
- auteur
- Federica Granese
- article
- Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris; Università degli studi La Sapienza (Rome), 2023. English. ⟨NNT : 2023IPPAX029⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- On the Need and Applicability of Causality for Fair Machine Learning
- auteur
- Rūta Binkytė, Ljupcho Grozdanovski, Sami Zhioua
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Shedding light on underrepresentation and Sampling Bias in machine learning
- auteur
- Sami Zhioua, Rūta Binkytė
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Échantillonneur rapide de la distribution de von Mises Fisher en Python
- auteur
- Carlos Pinzón, Kangsoo Jung
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Article dans une revue
- titre
- Differentially private multivariate time series forecasting of aggregated human mobility with deep learning: Input or gradient perturbation?
- auteur
- Héber Hwang Arcolezi, Jean-François Couchot, Denis Renaud, Bechara Al Bouna, Xiaokui Xiao
- article
- Neural Computing and Applications, 2022, 34, pp.13355-13369. ⟨10.1007/s00521-022-07393-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Information Leakage Games: Exploring Information as a Utility Function
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
- article
- ACM Transactions on Privacy and Security, 2022, 25 (3), ⟨10.1145/3517330⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Identifiability of Causal-based ML Fairness Notions
- auteur
- Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
- article
- 14th International Conference on Computational Intelligence and Communication Networks (CICN), IEEE, Dec 2022, Al-khobar, Saudi Arabia
- Accès au texte intégral et bibtex
-
- titre
- Causal Discovery for Fairness
- auteur
- Rūta Binkytė-Sadauskienė, Karima Makhlouf, Carlos Pinzón, Sami Zhioua, Catuscia Palamidessi
- article
- NeurIPS 2022 -Neural Information Processing systems – Workshop AFCP 2022 – Algorithmic Fairness through the Lens of Causality and Privacy, Dec 2022, New Orleans, United States
- Accès au bibtex
-
- titre
- Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python
- auteur
- Héber Hwang Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi, Majid Zolfaghari
- article
- ESORICS 2022 – European Symposium on Research in Computer Security, Sep 2022, Copenhague, Denmark. pp.770 – 775, ⟨10.1007/978-3-031-17143-7_40⟩
- Accès au texte intégral et bibtex
-
- titre
- MEAD: A Multi-Armed Approach for Evaluation of Adversarial Examples Detectors
- auteur
- Federica Granese, Marine Picot, Marco Romanelli, Francisco Messina, Pablo Piantanida
- article
- ECML PKDD 2022 – European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2022, Grenoble, France. ⟨10.1007/978-3-031-26409-2_18⟩
- Accès au texte intégral et bibtex
-
- titre
- Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
- auteur
- Natasha Fernandes, Annabelle Mciver, Catuscia Palamidessi, Ming Ding
- article
- CSF 2022 – 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel. pp.348-363, ⟨10.1109/CSF54842.2022.9919647⟩
- Accès au bibtex
-
- titre
- Leveraging Adversarial Examples to Quantify Membership Information Leakage
- auteur
- Ganesh Del Grosso, Hamid Jalalzai, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida
- article
- CVPR 2022 – IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2022, New Orleans, United States. pp.10389-10399, ⟨10.1109/CVPR52688.2022.01015⟩
- Accès au bibtex
-
- titre
- Tight Differential Privacy Blanket for the Shuffle Model
- auteur
- Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
- article
- CADE 2022 – Competitive Advantage in the Digital Economy, Jun 2022, Venice, Italy. pp.61-63, ⟨10.1049/icp.2022.2041⟩
- Accès au bibtex
-
- titre
- Impact of sampling on locally differentially private data collection
- auteur
- Sayan Biswas, Graham Cormode, Carsten Maple
- article
- CADE 2022 – Competitive Advantage in the Digital Economy, Jun 2022, Venice, Italy. pp.64-70, ⟨10.1049/icp.2022.2042⟩
- Accès au bibtex
-
- titre
- On the Impossibility of non-Trivial Accuracy in Presence of Fairness Constraints
- auteur
- Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
- article
- Proceedings of the AAAI 36th Conference on Artificial Intelligence, Feb 2022, Vancouver / Virtual, Canada. pp.7993-8000, ⟨10.1609/aaai.v36i7.20770⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Minimizing Information Leakage under Padding Constraints
- auteur
- Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
- article
- 2022
- Accès au bibtex
-
- titre
- Membership Inference Attacks via Adversarial Examples
- auteur
- Hamid Jalalzai, Elie Kadoche, Rémi Leluc, Vincent Plassier
- article
- 2022
- Accès au bibtex
-
- titre
- Counting and Computing Join-Endomorphisms in Lattices (Revisited)
- auteur
- Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
- article
- 2022
- Accès au bibtex
-
- titre
- On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge
- auteur
- Santiago Quintero, Carlos Pinzón, Sergio Ramírez, Frank Valencia
- article
- 2022
- Accès au bibtex
-
2021
Article dans une revue
- titre
- Steam turbine rotor stress control through nonlinear model predictive control
- auteur
- Stefano Dettori, Alessandro Maddaloni, Filippo Galli, Valentina Colla, Federico Bucciarelli, Damaso Checcacci, Annamaria Signorini
- article
- Energies, 2021, la conception et la mise en œuvre du système de contrôle prédictif du modèle ), 14 (13), pp.3998. ⟨10.3390/en14133998⟩
- Accès au texte intégral et bibtex
-
- titre
- Reasoning about distributed information with infinitely many agents
- auteur
- Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
- article
- Journal of Logical and Algebraic Methods in Programming, 2021, ⟨10.1016/J.JLAMP.2021.100674⟩
- Accès au texte intégral et 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
-
- titre
- On the Applicability of ML Fairness Notions
- auteur
- Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
- article
- SIGKDD explorations : newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, 2021, 23 (1), pp.14-23. ⟨10.1145/3468507.3468511⟩
- Accès au 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
-
Communication dans un congrès
- titre
- Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
- auteur
- Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank D. Valencia
- article
- Relational and Algebraic Methods in Computer Science – 19th International Conference, RAMiCS 2021, Nov 2021, Marseille, France. pp.413-432
- Accès au texte intégral et bibtex
-
- titre
- Locality Sensitive Hashing with Extended Differential Privacy
- auteur
- Natasha Fernandes, Yusuke Kawamoto, Takao Murakami
- article
- ESORICS 2021 – 26th European Symposium on Research in Computer Security, Oct 2021, Darmstadt / Virtual, Germany. pp.563–583, ⟨10.1007/978-3-030-88428-4_28⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
- auteur
- Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
- article
- FORTE 2021 – 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta
- Accès au texte intégral et 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
-
Chapitre d’ouvrage
- 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
-
Pré-publication, Document de travail
- titre
- Questioning causality on sex, gender and COVID-19, and identifying bias in large-scale data-driven analyses: the Bias Priority Recommendations and Bias Catalog for Pandemics
- auteur
- Natalia Díaz-Rodríguez, Rūta Binkytė-Sadauskienė, Wafae Bakkali, Sannidhi Bookseller, Paola Tubaro, Andrius Bacevicius, Raja Chatila
- article
- 2021
- Accès au bibtex
-
2020
Article dans une revue
- 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
-
- 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
-
- 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
-
Communication dans un congrès
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Counting and Computing Join-Endomorphisms in Lattices
- auteur
- Santiago Quintero, Sergio Ramirez, Camilo Rueda, Frank Valencia
- article
- Relational and Algebraic Methods in Computer Science – 18th International Conference, RAMiCS 2020, Apr 2020, Palaiseau, France. pp.253-269, ⟨10.1007/978-3-030-43520-2_16⟩
- Accès au texte intégral et bibtex
-
Chapitre d’ouvrage
- 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
-
Ouvrages
- 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
-
Pré-publication, Document de travail
- titre
- Survey on Causal-based Machine Learning Fairness Notions
- auteur
- Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
- article
- 2020
- Accès au bibtex
-
- titre
- The Bayes Security Measure
- auteur
- Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso
- article
- 2020
- Accès au bibtex
-
- titre
- Computing with Epistemic and Spatial Modalities
- auteur
- Sophia Knight, Prakash Panangaden, Frank Valencia
- article
- 2020
- Accès au bibtex
-
2019
Article dans une revue
- 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
-
Communication dans un congrès
- 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
-
- 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
-
- titre
- Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents
- auteur
- Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank D. Valencia
- article
- CONCUR 2019 – 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩
- Accès au texte intégral et bibtex
-
- titre
- Semantic Structures for Spatially-Distributed Multi-Agent Systems
- auteur
- Frank D. Valencia
- article
- Proceedings of the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Aug 2019, Amsterdam, Netherlands. pp.39-53, ⟨10.4204/EPTCS.300.3⟩
- Accès au 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
-
- 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
-
- 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
-
Chapitre d’ouvrage
- titre
- Toward a Formal Model for Group Polarization in Social Networks
- auteur
- Mário S. Alvim, Sophia Knight, Frank D. Valencia
- article
- Mário S. Alvim; Konstantinos Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy – Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 11760, Springer, pp.419-441, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_24⟩
- Accès au bibtex
-
- titre
- Make Puzzles Great Again
- auteur
- Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank D. Valencia
- article
- Mário S. Alvim; Konstantinos Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy – Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 11760, Springer, pp.442-459, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_25⟩
- Accès au bibtex
-
- titre
- Refinement Metrics for Quantitative Information Flow
- auteur
- Konstantinos Chatzikokolakis, Geoffrey Smith
- article
- Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩
- Accès au texte intégral et bibtex
-
- 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
-
N°spécial de revue/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
-
Ouvrages
- titre
- The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy – Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank Valencia
- article
- Mário S. Alvim; Konstantinos Chatzikokolakis; Carlos Olarte; Frank Valencia. Springer, 11760, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9⟩
- Accès au bibtex
-
2018
Article dans une revue
- titre
- Observational and Behavioural Equivalences for Soft Concurrent Constraint Programming
- auteur
- Fabio Gadducci, Francesco Santini, Luis Fernando Pino Duque, Frank Valencia
- article
- Journal of Logical and Algebraic Methods in Programming, 2018, 92, pp.45-63. ⟨10.1016/j.jlamp.2017.06.001⟩
- Accès au bibtex
-
- titre
- Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic
- auteur
- Michell Guzmán, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- Theoretical Computer Science, 2018, 744 (56–77)
- Accès au texte intégral et bibtex
-
- titre
- SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
- auteur
- Valentina Castiglioni, Daniel Gebler, Simone Tini
- article
- Logical Methods in Computer Science, 2018, 14 (2), ⟨10.23638/LMCS-14(2:18)2018⟩
- Accès au bibtex
-
- titre
- A Game-Theoretic Approach to Information-Flow Control via Protocol Composition
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
- article
- Entropy, 2018, 20 (5), pp.382. ⟨10.3390/e20050382⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- A Logical Characterization of Differential Privacy via Behavioral Metrics
- auteur
- Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.75-96, ⟨10.1007/978-3-030-02146-7_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Feature selection with Rényi min-entropy
- auteur
- Catuscia Palamidessi, Marco Romanelli
- article
- Artificial Neural Networks in Pattern Recognition – 8th IAPR TC3 Workshop (ANNPR 2018), Sep 2018, Siena, Italy. pp.226-239
- Accès au texte intégral et bibtex
-
- titre
- On the Additive Capacity Problem for Quantitative Information Flow
- auteur
- Konstantinos Chatzikokolakis
- article
- 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Sep 2018, Beijing, China. pp.1-19
- Accès au texte intégral et bibtex
-
- titre
- Trace and Testing Metrics on Nondeterministic Probabilistic Processes
- auteur
- Valentina Castiglioni
- article
- Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, (EXPRESS/SOS) 2018, Sep 2018, Beijing, China. pp.19-36, ⟨10.4204/EPTCS.276.4⟩
- Accès au bibtex
-
- titre
- Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii
- article
- 31st Computer Security Foundations Symposium (CSF 2018), Jul 2018, Oxford, United Kingdom. pp.262-267, ⟨10.1109/CSF.2018.00026⟩
- Accès au texte intégral et bibtex
-
- titre
- t-DCF: a Detection Cost Function for the Tandem Assessment of Spoofing Countermeasures and Automatic Speaker Verification
- auteur
- Tomi Kinnunen, Kong Aik Lee, Héctor Delgado, Nicholas Evans, Massimiliano Todisco, Md Sahidullah, Junichi Yamagishi, Douglas A Reynolds
- article
- Speaker Odyssey 2018 The Speaker and Language Recognition Workshop, Jun 2018, Les Sables d’Olonne, France
- Accès au texte intégral et bibtex
-
- titre
- Real-time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming
- auteur
- Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank D. Valencia
- article
- Rewriting Logic and Its Applications – 12th International Workshop, Jun 2018, Thessaloniki, Greece. pp.226–244
- Accès au texte intégral et bibtex
-
- titre
- Leakage and Protocol Composition in a Game-Theoretic Perspective
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
- article
- 7th International Conference on Principles of Security and Trust (POST 2018), Apr 2018, Thessaloniki, Greece. pp.134-159
- Accès au texte intégral et bibtex
-
- titre
- Geometric Noise for Locally Private Counting Queries
- auteur
- Lefki Kacem, Catuscia Palamidessi
- article
- Proceedings of the 13th Workshop on Programming Languages and Analysis for Security (PLAS 2018), 2018, Toronto, Canada. pp.13-16, ⟨10.1145/3264820.3264827⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Special Issue: Best Papers Presented at ICTAC 2015
- auteur
- Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
- article
- Cambridge University Press, In press, Mathematical Structures in Computer Science
- Accès au bibtex
-
- titre
- Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016
- auteur
- Catuscia Palamidessi
- article
- Palamidessi, Catuscia; Silva, Alexandra; Shankar, Natarajan. IEEE, 2018
- Accès au bibtex
-
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
- Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach
- auteur
- Stefan Haar, Salim Perchy, Frank Valencia
- article
- International Journal of Semantic Computing, 2017, 11 (04), pp.451 – 472. ⟨10.1142/S1793351X17400189⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Compositionality of Quantitative Information Flow
- auteur
- Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Logical Methods in Computer Science, 2017, 13 (3), pp.1-31
- Accès au bibtex
-
- titre
- Formal analysis and offline monitoring of electronic exams
- auteur
- Ali Kassem, Yliès Falcone, Pascal Lafourcade
- article
- Formal Methods in System Design, 2017, 51 (1), pp.117 – 153. ⟨10.1007/s10703-017-0280-0⟩
- 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, 2017, 88, pp.27-52
- Accès au texte intégral et bibtex
-
- titre
- Efficient Utility Improvement for Location Privacy
- auteur
- Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi
- article
- Proceedings on Privacy Enhancing Technologies, 2017, 2017 (4), pp.308-328. ⟨10.1515/popets-2017-0051⟩
- 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, Italy
- Accès au texte intégral et bibtex
-
- titre
- Information Leakage Games
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
- article
- Decision and Game Theory for Security – 8th International Conference, Oct 2017, Vienna, Austria. pp.437-457, ⟨10.1007/978-3-319-68711-7_23⟩
- Accès au bibtex
-
- titre
- D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
- auteur
- Stefan Haar, Salim Perchy, Frank Valencia
- article
- 11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States
- Accès au texte intégral et bibtex
-
Chapitre d’ouvrage
- titre
- Methods for Location Privacy: A comparative overview
- auteur
- Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi, Anna Pazii
- article
- Now publishers. Methods for Location Privacy: A comparative overview, 1 (4), , pp.199-257, 2017, Foundations and Trends® in Privacy and Security, 978-1-68083-367-6. ⟨10.1561/3300000017⟩
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Sur l’expressivité des systèmes de contraintes spatiales
- auteur
- Michell Guzmán
- article
- Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX064⟩
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion
- auteur
- Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- Journal of Logical and Algebraic Methods in Programming, 2016, ⟨10.1016/j.jlamp.2016.09.001⟩
- Accè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, 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩
- Accès au texte intégral et bibtex
-
- titre
- Preserving differential privacy under finite-precision semantics
- auteur
- Ivan Gazeau, Dale Miller, Catuscia Palamidessi
- article
- Theoretical Computer Science, 2016
- Accès au texte intégral et bibtex
-
- titre
- Differential Privacy Models for Location- Based Services
- auteur
- Ehab Elsalamouny, Sébastien Gambs
- article
- Transactions on Data Privacy, 2016, 9 (1), pp.15 – 48
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Deriving Inverse Operators for Modal Logic
- auteur
- Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. pp.214-232, ⟨10.1007/978-3-319-46750-4_13⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Expressiveness of Spatial Constraint Systems
- auteur
- Michell Guzmán, Frank D Valencia
- article
- ICLP 2016 – Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming , John Gallagher; Germán Vidal, Oct 2016, New York, United States. pp.16:1 – 16:12, ⟨10.4230/OASIcs.ICLP.2016.16⟩
- Accès au texte intégral et bibtex
-
- 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.16
- Accè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 Kingdom
- Accès au bibtex
-
2015
Article dans une revue
- titre
- Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
- auteur
- Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
- article
- Theoretical Computer Science, 2015, 604, pp. 102-126. ⟨10.1016/j.tcs.2015.03.024⟩
- Accès au bibtex
-
- titre
- Constructing elastic distinguishability metrics for location privacy
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
- article
- Proceedings on Privacy Enhancing Technologies, 2015, 2015 (2), pp.156-170. ⟨10.1515/popets-2015-0023⟩
- Accès au bibtex
-
- titre
- Concurrency cannot be observed, asynchronously
- auteur
- Filippo Bonchi, Fabio Gadducci, Paolo Baldan, Valentina Monreale
- article
- Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129513000108⟩
- Accès au bibtex
-
- titre
- Weak CCP bisimilarity with strong procedures
- auteur
- Luis Pino, Andres Aristizabal, Filippo Bonchi, Frank Valencia
- article
- Science of Computer Programming, 2015, 100, pp.84-104. ⟨10.1016/j.scico.2014.09.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Abstract Interpretation of Temporal Concurrent Constraint Programs
- auteur
- Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
- article
- Theory and Practice of Logic Programming, 2015, 15 (3), pp.312-357
- Accès au texte intégral et bibtex
-
- titre
- Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming
- auteur
- Luis Fernando Pino Duque, Filippo Bonchi, Frank Valencia
- article
- Science of Computer Programming, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩
- Accè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, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Opinions and Beliefs as constraint system operators
- auteur
- Salim Perchy, Frank Valencia
- article
- Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. pp.1
- Accès au bibtex
-
- titre
- An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
- auteur
- Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. pp.161-172, ⟨10.1145/2790449.2790520⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Trace Metrics via Functor Lifting
- auteur
- Paolo Baldan, Filippo Bonchi, Kerstan Henning, Barbara König
- article
- 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Jun 2015, Nijmegen, Netherlands. ⟨10.4230/LIPIcs.CALCO.2015.35⟩
- Accès au bibtex
-
- titre
- Asynchronous Traces and Open Petri Nets
- auteur
- Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Valentina Monreale
- article
- Programming Languages with Applications to Biology and Security – Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Jun 2015, Pisa, Italy. pp.86-102, ⟨10.1007/978-3-319-25527-9_8⟩
- Accès au bibtex
-
- titre
- A Labelled Semantics for Soft Concurrent Constraint Programming
- auteur
- Fabio Gadducci, Francesco Santini, Luis Pino, Frank Valencia
- article
- 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Information Flow for Scheduler-Dependent Systems
- auteur
- Yusuke Kawamoto, Thomas Given-Wilson
- article
- The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), Apr 2015, London, United Kingdom
- Accès au texte intégral et 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
-
- titre
- Full Abstraction for Signal Flow Graphs
- auteur
- Filippo Bonchi, Fabio Zanasi, Pawel Sobocinski
- article
- Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩
- Accès au bibtex
-
- 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-38
- Accè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-7
- Accès au 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
-
Ouvrages
- titre
- Theoretical Aspects of Computing – ICTAC 2015
- auteur
- Martin Leucker, Camilo Rueda, Frank Valencia
- article
- Springer, 9399, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
- Accès au bibtex
-
- 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
-
- titre
- Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS)
- auteur
- Catuscia Palamidessi
- article
- Palamidessi, Catuscia. 2015
- Accès au bibtex
-
Thèse
- titre
- Concevoir mécanismes pour la confidentialité géographique avec flexibilité dans le temps et l’espace.
- auteur
- Marco Stronati
- article
- Cryptography and Security [cs.CR]. Ecole Polytechnique, 2015. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Vérification formelle de la vie privée dans les systèmes concurrents
- auteur
- Lili Xu
- article
- Cryptography and Security [cs.CR]. Ecole Polytechnique (Palaiseau, France), 2015. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2014
Article dans une revue
- titre
- A Concurrent Pattern Calculus
- auteur
- Thomas Given-Wilson, Daniele Gorla, Barry Jay
- article
- Logical Methods in Computer Science, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Optimal Geo-Indistinguishable Mechanisms for Location Privacy
- auteur
- Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS), Gail-Joon Ahn, Nov 2014, Scottsdale, Arizona, United States. pp.251-262, ⟨10.1145/2660267.2660345⟩
- Accès au bibtex
-
- titre
- A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice
- auteur
- Luis Fernando Pino Duque, Filippo Bonchi, Frank D. Valencia
- article
- ICTAC 2014 – 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. pp.351-368, ⟨10.1007/978-3-319-10882-7_21⟩
- Accès au texte intégral et 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
- LeakWatch: Estimating Information Leakage from Java Programs
- auteur
- Tom Chothia, Yusuke Kawamoto, Chris Novakovic
- article
- 19th European Symposium on Research in Computer Security (ESORICS 2014), Sep 2014, Wroclaw, Poland. pp.219-236, ⟨10.1007/978-3-319-11212-1_13⟩
- 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
- On the Expressiveness of Intensional Communication
- auteur
- Thomas Given-Wilson
- article
- Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. pp.30-46, ⟨10.4204/EPTCS.160.4⟩
- Accès au texte intégral et bibtex
-
- titre
- Expressiveness via Intensionality and Concurrency
- auteur
- Thomas Given-Wilson
- article
- ICTAC 2014 – 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, Romania. pp.206-223, ⟨10.1007/978-3-319-10882-7_13⟩
- Accès au texte intégral et bibtex
-
- 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
- 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
-
- titre
- An Intensional Concurrent Faithful Encoding of Turing Machines
- auteur
- Thomas Given-Wilson
- article
- 7th Interaction and Concurrency Experience (ICE 2014), Jun 2014, Berlin, Germany. pp.21-37, ⟨10.4204/EPTCS.166.4⟩
- Accès au texte intégral et bibtex
-
- titre
- Metrics for Differential Privacy in Concurrent Systems
- auteur
- Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin
- article
- 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Bisimulation for Markov Decision Processes through Families of Functional Expressions
- auteur
- Norman Ferns, Sophia Knight, Doina Precup
- article
- Horizons of the Mind. A Tribute to Prakash Panangaden (for his 60th birthday), Franck van Breugel; Elham Kashefi; Castucia Palamidessi; Jan Rutten, May 2014, Oxford, United Kingdom. pp.319-342, ⟨10.1007/978-3-319-06880-0_17⟩
- 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
-
Ouvrages
- titre
- Special Issue of the Journal of Mathematical Structures in Computer Science dedicated to a selection of papers presented at the 18th International Workshop on Expressiveness in Concurrency (EXPRESS’11)
- auteur
- Bas Luttik, Frank D. Valencia
- article
- Bas Luttik and Frank D. Valencia. Cambridge University Press, 2014, Mathematical Structures in Computer Science, ⟨10.1017/S0960129514000607⟩
- Accès au bibtex
-
- titre
- Special Issue of the Journal of Mathematical Structures in Computer Science dedicated to a selection of papers presented at the 17th International Workshop on Expressiveness in Concurrency (EXPRESS’10)
- auteur
- Sibylle Fröschle, Frank D. Valencia
- article
- Sibylle Fröschle and Frank D. Valencia. Cambridge University Press, 2014, Mathematical Structures in Computer Science, ⟨10.1017/S0960129514000371⟩
- Accès au bibtex
-
- 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. Springer, 8461, 2014, Lecture Notes in Computer Science
- Accès au bibtex
-
- titre
- Formal Techniques for Distributed Objects, Components, and Systems
- auteur
- Erika Ábrahám, Catuscia Palamidessi
- article
- Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
- Accès au bibtex
-
Thèse
- titre
- Vérification Efficace Et Nouvelles Techniques De Raisonnement Pour La Programmation Concurrente Par Contraintes
- auteur
- Luis Fernando Pino Duque
- article
- Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Mesurer la confidentialité avec des métriques de discernabilité: définitions, mécanismes et confidentialité des informations liées à la localisation
- auteur
- Nicolás E. Bordenabe
- article
- Cryptographie et sécurité [cs.CR]. École Polytechnique, 2014. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Comportement transitoire d’algorithmes distribués et modèles de circuits
- auteur
- Thomas Nowak
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2013
Article dans une revue
- titre
- Models and Emerging Trends of Concurrent Constraint Programming
- auteur
- Carlos Olarte, Camilo Rueda, Frank D. Valencia
- article
- Constraints, 2013, 18 (4), pp.535-578. ⟨10.1007/s10601-013-9145-3⟩
- Accès au texte intégral et bibtex
-
- titre
- An analysis of trust in anonymity networks in the presence of adaptive attackers
- auteur
- Sardaouna Hamadou, Vladimiro Sassone, Mu Yang
- article
- Mathematical Structures in Computer Science, 2013
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Geo-Indistinguishability: Differential Privacy for Location-Based Systems
- auteur
- Miguel E. Andrés, Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Proceedings of the 20th ACM Conference on Computer and Communications Security, ACM, Nov 2013, Berlin, Germany. pp.901-914, ⟨10.1145/2508859.2516735⟩
- Accès au bibtex
-
- titre
- Efficient computation of program equivalence for confluent concurrent constraint programming
- auteur
- Luis Pino, Filippo Bonchi, Frank D. Valencia
- article
- PPDP 2013 – 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.263-274, ⟨10.1145/2505879.2505902⟩
- Accès au bibtex
-
- titre
- Quantitative Approaches to Information Protection
- auteur
- Catuscia Palamidessi
- article
- Logic, Language, Information, and Computation – 20th International Workshop (WoLLIC 2013), Aug 2013, Darmstadt, Germany. pp.31-32, ⟨10.1007/978-3-642-39992-3_5⟩
- Accès au bibtex
-
- titre
- Broadening the Scope of Differential Privacy Using Metrics
- auteur
- Konstantinos Chatzikokolakis, Miguel E. Andrés, Nicolás E. Bordenabe, Catuscia Palamidessi
- article
- The 13th Privacy Enhancing Technologies Symposium, Jul 2013, Bloomington, Indiana, United States. pp.82-102, ⟨10.1007/978-3-642-39077-7⟩
- Accès au texte intégral et bibtex
-
- titre
- A differentially private mechanism of optimal utility for a region of priors
- auteur
- Ehab Elsalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- 2nd Conference on Principles of Security and Trust (POST 2013), Mar 2013, Rome, Italy. pp.41-62, ⟨10.1007/978-3-642-36830-1_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Preserving differential privacy under finite-precision semantics
- auteur
- Ivan Gazeau, Dale Miller, Catuscia Palamidessi
- article
- QAPL – 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. pp.1-18, ⟨10.4204/EPTCS.117.1⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Proceedings of the 7th International Symposium on Trustworthy Global Computing (TGC)
- auteur
- Catuscia Palamidessi, Mark D. Ryan
- article
- Catuscia Palamidessi and Mark D. Ryan. Springer, 8191, pp.1-212, 2013, Lecture Notes in Computer Science, 978-3-642-41156-4. ⟨10.1007/978-3-642-41157-1⟩
- Accès au bibtex
-
Thèse
- titre
- Programmation sûre en précision finie : Contrôler les erreurs et les fuites d’informations
- auteur
- Ivan Gazeau
- article
- Analyse numérique [cs.NA]. Ecole Polytechnique X, 2013. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Le point de vue epistémique de théorie de la concurrence
- auteur
- Sophia Knight
- article
- Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2012
Article dans une revue
- titre
- Probabilistic modal mu-calculus with independent product
- auteur
- Matteo Mio
- article
- Logical Methods in Computer Science, 2012, 8 (4), pp.1-36
- Accès au bibtex
-
- titre
- Epistemic Strategies and Games on Concurrent Processes
- auteur
- Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden
- article
- ACM Transactions on Computational Logic, 2012, 13 (4), pp.28:1-28:35. ⟨10.1145/2362355.2362356⟩
- Accès au texte intégral et bibtex
-
- titre
- Deciphering the Function of the Outer Membrane Protein OprD Homologue of Acinetobacter baumannii
- auteur
- Manuella Catel-Ferreira, Rony Nehmé, Virginie Molle, Jesus Aranda, Emeline Bouffartigues, Sylvie Chevalier, Germán Bou, Thierry Jouenne, Emmanuelle Dé
- article
- Antimicrobial Agents and Chemotherapy, 2012, 56 (7), pp.3826-3832. ⟨10.1128/AAC.06022-11⟩
- Accès au bibtex
-
- titre
- On the equivalence of game and denotational semantics for the probabilistic μ -calculus
- auteur
- Matteo Mio
- article
- Logical Methods in Computer Science, 2012, 8 (2), pp.1-21
- Accès au bibtex
-
- titre
- Synthesis of opaque systems with static and dynamic masks
- auteur
- Franck Cassez, Jérémy Dubreil, Hervé Marchand
- article
- Formal Methods in System Design, 2012, 40 (1), pp.88-115. ⟨10.1007/s10703-012-0141-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Information Flow in Interactive Systems
- auteur
- Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
- article
- Journal of Computer Security, 2012, 20 (1), pp.3-50
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Comparaison des interactions cognition-locomotion chez des sujets jeunes et chez des seniors jeunes et âgés : mise en évidence par la double-tâche Mar-MOT
- auteur
- Pothier Kristell, Nicolas Benguigui, André Dubois, Richard Kulpa, Chantal Chavoix
- article
- XIXe congrès de l’association Posture et Equilibre (APE) / 1er congrès de la Société Francophone : Posture, Equilibre, Locomotion (SOFPEL), Nov 2012, Marseille, France. pp.406, ⟨10.1016/j.neucli.2012.09.063⟩
- Accès au bibtex
-
- titre
- Interference-Sensitive Preorders for MANETs
- auteur
- Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou
- article
- Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, Sep 2012, London, United Kingdom. pp.189-198
- Accès au texte intégral et bibtex
-
- titre
- Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus
- auteur
- Lili Xu
- article
- 7th International Symposium on Trustworthy Global Computing (TGC), Sep 2012, Newcastle upon Tyne, United Kingdom. pp.198-212
- Accès au texte intégral et bibtex
-
- titre
- Linking Unlinkability
- auteur
- Mayla Brusó, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog
- article
- TGC 2012 – 7th International Symposium on Trustworthy Global Computing, Sep 2012, Newcastle upon Tyne, United Kingdom. pp.129-144, ⟨10.1007/978-3-642-41157-1_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Spatial and Epistemic Modalities in Constraint-Based Process Calculi
- auteur
- Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
- article
- CONCUR 2012 – 23rd International Conference on Concurrency Theory, Sep 2012, Newcastle upon Tyne, United Kingdom. pp.317-332, ⟨10.1007/978-3-642-32940-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Hide and New in the Pi-Calculus
- auteur
- Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
- article
- Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012), Sep 2012, New Castle upon Tyne, United Kingdom. pp.65-80, ⟨10.4204/EPTCS.89⟩
- Accès au texte intégral et bibtex
-
- titre
- Reducing Weak to Strong Bisimilarity in CCP
- auteur
- Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank D. Valencia
- article
- Fifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩
- Accès au texte intégral et bibtex
-
- titre
- K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter
- auteur
- Andres Felipe Barco Santa, Sophia Knight, Frank D. Valencia
- article
- 21st Workshop on Functional and Constraint Logic Programming (WFLP2012), May 2012, Nagoya, Japan
- Accès au texte intégral et bibtex
-
- titre
- Combining Epistemic Logic and Hennessy-Milner Logic
- auteur
- Sophia Knight, Radu Mardare, Prakash Panangaden
- article
- Logic and Program Semantics – Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, Apr 2012, Ithaca, United States. pp.219-243, ⟨10.1007/978-3-642-29485-3_14⟩
- Accès au texte intégral et bibtex
-
- titre
- Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems
- auteur
- Catuscia Palamidessi, Marco Stronati
- article
- QAPL – Tenth Workshop on Quantitative Aspects of Programming Languages, Apr 2012, Tallin, Estonia. pp.92-105, ⟨10.4204/EPTCS.85.7⟩
- Accès au texte intégral et bibtex
-
- titre
- A non-local method for robustness analysis of floating point programs
- auteur
- Ivan Gazeau, Dale Miller, Catuscia Palamidessi
- article
- QAPL – Tenth Workshop on Quantitative Aspects of Programming Languages, Mar 2012, Tallinn, Estonia. pp.63-76, ⟨10.4204/EPTCS.85.5⟩
- Accès au texte intégral et bibtex
-
- titre
- Partition Refinement for Bisimilarity in CCP
- auteur
- Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank D. Valencia
- article
- 27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93
- Accès au texte intégral et bibtex
-
- titre
- A Game-Theoretic Analysis of Cooperation in Anonymity Networks
- auteur
- Mu Yang, Vladimiro Sassone, Sardaouna Hamadou
- article
- Principles of Security and Trust – First International Conference, POST 2012, Mar 2012, Tallinn, Estonia. pp.269-289
- Accès au texte intégral et bibtex
-
- titre
- Measuring Information Leakage using Generalized Gain Functions
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith
- article
- Computer Security Foundations, 2012, Cambridge MA, United States. pp.265-279, ⟨10.1109/CSF.2012.26⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Proceedings of the Joint Workshop on Theory of Security and Applications (TOSCA)
- auteur
- Sebastian Mödersheim, Catuscia Palamidessi
- article
- Sebastian Mödersheim and Catuscia Palamidessi. Springer, 6993, pp.224, 2012, Lecture Notes in Computer Science, 978-3-642-27374-2. ⟨10.1007/978-3-642-27375-9⟩
- Accès au bibtex
-
- titre
- Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2)
- auteur
- Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
- article
- Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier B.V., pp.125, 2012
- Accès au bibtex
-
Thèse
- titre
- Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes
- auteur
- Andrés Aristizábal
- article
- Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2011
Article dans une revue
- titre
- Information Hiding in Probabilistic Concurrent Systems (journal version)
- auteur
- Miguel E. Andrés, Catuscia Palamidessi, Ana Sokolova, Peter van Rossum
- article
- Theoretical Computer Science, 2011, 412 (28), pp.3072-3089
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks
- auteur
- Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
- article
- IFIP Wireless Days Conference, Oct 2011, Niagara Falls, ON, Canada. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- A Non-Standard Semantics for Kahn Networks in Continuous Time
- auteur
- Romain Beauxis, Samuel Mimram
- article
- Computer Science Logic (CSL’11) – 25th International Workshop/20th Annual Conference of the EACSL, Sep 2011, Bergen, Norway. pp.35–50, ⟨10.4230/LIPIcs.CSL.2011.35⟩
- Accès au texte intégral et bibtex
-
- titre
- Differential Privacy: on the trade-off between Utility and Information Leakage
- auteur
- Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
- article
- The 8th International Workshop on Formal Aspects of Security & Trust (FAST), Sep 2011, Leuven, Belgium. pp.39–54, ⟨10.1007/978-3-642-29420-4_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Information Flow and Applications to Differential Privacy
- auteur
- Mário Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- FOSAD 2011 – 11th International School on Foundations of Security Analysis and Design, Aug 2011, Bertinoro, Italy. pp.211-230, ⟨10.1007/978-3-642-23082-0_8⟩
- Accès au texte intégral et bibtex
-
- titre
- A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
- auteur
- Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
- article
- Analytical and Stochastic Modeling Techniques and Applications (ASMTA), Jun 2011, Venice, Italy. pp.316-330, ⟨10.1007/978-3-642-21713-5_23⟩
- Accès au texte intégral et bibtex
-
- titre
- A type checking algorithm for qualified session types
- auteur
- Marco Giunti
- article
- 7th International Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland. ⟨10.4204/EPTCS.61.7⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach
- auteur
- Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia
- article
- PACBB 2011 – 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, Apr 2011, Salamanca, Spain. pp.321-328, ⟨10.1007/ISBN978-3-642-19913-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Deriving Labels and Bisimilarity for Concurrent Constraint Programming
- auteur
- Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia
- article
- FOSSACS 2011 : 14th International Conference on Foundations of Software Science and Computational Structures, Mar 2011, Saarbrücken, Germany. pp.138-152, ⟨10.1007/ISBN978-3-642-19804-5⟩
- Accès au texte intégral et bibtex
-
- titre
- Liquidsoap: a High-Level Programming Language for Multimedia Streaming
- auteur
- David Baelde, Romain Beauxis, Samuel Mimram
- article
- SOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. pp.99-110, ⟨10.1007/978-3-642-18381-2_8⟩
- Accès au texte intégral et bibtex
-
- titre
- On the relation between Differential Privacy and Quantitative Information Flow
- auteur
- Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- 38th International Colloquium on Automata, Languages and Programming – ICALP 2011, 2011, Zurich, Switzerland. pp.60-76, ⟨10.1007/978-3-642-22012-8_4⟩
- Accès au texte intégral et bibtex
-
Chapitre d’ouvrage
- titre
- Some Bridging Results and Challenges in Classical, Quantum and Computational Randomness
- auteur
- Giuseppe Longo, Catuscia Palamidessi, Paul Thierry
- article
- Hector Zenil. Randomness Through Computation, World Scientific, pp.NA, 2011
- Accès au texte intégral et bibtex
-
- titre
- Concurrent constraints models of music interaction
- auteur
- Mauricio Toro, Camilo Rueda, Frank Valencia, Gerardo Sarria, Carlos Olarte
- article
- Constraint Programming in Music, Wiley, pp.133, 2011
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Proceedings 18th International Workshop on Expressiveness in Concurrency
- auteur
- Bas Luttik, Frank D. Valencia
- article
- Bas Luttik and Frank Valencia. Open Publishing Association, 64, pp.1-131, 2011, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.64⟩
- Accès au bibtex
-
- titre
- Proceedings of the 8th International Workshop on Security Issues in Concurrency
- auteur
- Konstantinos Chatzikokolakis, Véronique Cortier
- article
- Konstantinos Chatzikokolakis and Véronique Cortier. Electronic Proceedings in Theoretical Computer Science, 51, pp.51, 2011, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.51⟩
- Accès au bibtex
-
- titre
- Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems
- auteur
- Catuscia Palamidessi, Alma Riska
- article
- Catuscia Palamidessi and Alma Riska. IEEE, 276 p., 2011, 978-1-4577-0973-9
- Accès au bibtex
-
Thèse
- titre
- Des approches formelles pour le cachement d’information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications
- auteur
- Mário S. Alvim
- article
- Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
- auteur
- Miguel Andrés
- article
- Computation and Language [cs.CL]. Radboud University, Nijmegen, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2010
Article dans une revue
- titre
- Making Random Choices Invisible to the Scheduler
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Information and Computation, 2010, 208 (6), pp.694-715. ⟨10.1016/j.ic.2009.06.006⟩
- Accès au texte intégral et bibtex
-
- titre
- A general definition of malware
- auteur
- Simon Kramer, Julian C. Bradfield
- article
- Journal in Computer Virology, 2010, 6 (2), pp.105-114
- Accès au bibtex
-
Communication dans un congrès
- titre
- Safe Equivalences for Security Properties
- auteur
- Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
- article
- 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. pp.55-70, ⟨10.1007/978-3-642-15240-5_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Entropy and Attack Models in Information Flow
- auteur
- Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
- article
- 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.53-54, ⟨10.1007/978-3-642-15240-5_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Information Hiding in Probabilistic Concurrent Systems
- auteur
- Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
- article
- 7th IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2010), Sep 2010, Williamsburg, VA, United States. pp.17-26, ⟨10.1109/QEST.2010.11⟩
- Accès au texte intégral et bibtex
-
- titre
- Information Flow in Interactive Systems
- auteur
- Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
- article
- 21th International Conference on Concurrency Theory (CONCUR 2010), Aug 2010, Paris, France. pp.102-116, ⟨10.1007/978-3-642-15375-4_8⟩
- Accès au texte intégral et bibtex
-
- titre
- Compositional modelling of signalling pathways in timed concurrent constraint programming
- auteur
- Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
- article
- First ACM International Conference on Bioinformatics and Computational Biology (BCB ’10)., Aug 2010, Niagara Falls, New York, United States. pp.414-417, ⟨10.1145/1854776.1854843⟩
- Accès au texte intégral et bibtex
-
- titre
- Supervisory Control for Modal Specifications of Services
- auteur
- Philippe Darondeau, Jérémy Dubreil, Hervé Marchand
- article
- Workshop on Discrete Event Systems, WODES’10, Aug 2010, Berlin, Germany. pp.428-435
- Accès au texte intégral et bibtex
-
- titre
- Bisimilarity in Concurrent Constraint Programming
- auteur
- Andrés Aristizábal
- article
- 26th International Conference on Logic Programming, ICLP 2010, Jul 2010, Edinburgh, United Kingdom. pp.236-240
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic Information Flow
- auteur
- Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
- article
- 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.314-321, ⟨10.1109/LICS.2010.53⟩
- Accès au texte intégral et bibtex
-
- titre
- Compositionality of Secure Information Flow
- auteur
- Catuscia Palamidessi
- article
- Joint Conference: 10th International Conference on the Mathematics of Program Construction (MPC 2010), and 13th International Conference on Algebraic Methodology And Software Technology (AMAST 2010), Jun 2010, Lac Beaufort, Québec City, Canada. pp.19-19, ⟨10.1007/978-3-642-13321-3_2⟩
- Accès au bibtex
-
- titre
- Reconciling Belief and Vulnerability in Information Flow
- auteur
- Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi
- article
- 31st IEEE Symposium on Security and Privacy, May 2010, Berleley/Oakland, California, United States. pp.79-92, ⟨10.1109/SP.2010.13⟩
- Accès au texte intégral et bibtex
-
- titre
- Interactive Information Flow
- auteur
- Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
- article
- Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010), Mar 2010, Paphos, Cyprus. pp.111-111, ⟨10.1007/978-3-642-16074-5_8⟩
- Accès au bibtex
-
- titre
- Computing the Leakage of Information-Hiding Systems
- auteur
- Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
- article
- 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), Mar 2010, Paphos, Cyprus. pp.373-389, ⟨10.1007/978-3-642-12002-2_32⟩
- Accès au texte intégral et bibtex
-
Chapitre d’ouvrage
- titre
- Concurrent and Reactive Constraint Programming
- auteur
- Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia
- article
- Agostino Dovier and Enrico Pontelli. A 25-Year Perspective on Logic Programming, Springer, pp.231-253, 2010, ⟨10.1007/978-3-642-14309-0_11⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Proceedings 17th International Workshop on Expressiveness in Concurrency
- auteur
- Sibylle Fröschle, Frank D. Valencia
- article
- Electronic Proceedings in Theoretical Computer Science, 2010, ⟨10.4204/EPTCS.41⟩
- Accès au bibtex
-
- titre
- Special Issue dedicated to a selection of the best papers presented at SECCO’07. Journal of Computer Security 18(2).
- auteur
- Daniele Gorla, Catuscia Palamidessi
- article
- IOS Press, pp.187-377, 2010, ⟨10.3233/JCS-2010-0359⟩
- Accès au bibtex
-
Rapport
- titre
- Supervisory Control for Modal Specifications of Services
- auteur
- Philippe Darondeau, Jérémy Dubreil, Hervé Marchand
- article
- [Research Report] RR-7247, INRIA. 2010
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Quantitative Approaches to Information Hiding
- auteur
- Christelle Braun
- article
- Other [cs.OH]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Differential Privacy versus Quantitative Information Flow
- auteur
- Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Analysis of the reachability problem in fragments of the Pi-calculus
- auteur
- Luis Pino
- article
- 2010
- Accès au texte intégral et bibtex
-
2009
Article dans une revue
- titre
- Model checking probabilistic and stochastic extensions of the $\pi$-calculus
- auteur
- Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
- article
- IEEE Transactions on Software Engineering, 2009, 35 (2), pp.209–223
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic and nondeterministic aspects of anonymity
- auteur
- Romain Beauxis, Catuscia Palamidessi
- article
- Theoretical Computer Science, 2009, 410 (41), pp.4006–4025. ⟨10.1016/j.tcs.2009.06.008⟩
- Accès au texte intégral et bibtex
-
- titre
- Explicit Fairness in Testing Semantics
- auteur
- Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
- article
- Logical Methods in Computer Science, 2009, 5 (2), pp.Article 15
- Accès au texte intégral et bibtex
-
- titre
- A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding
- auteur
- Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun
- article
- Journal of Applied Non-Classical Logics, 2009, 19 (4), pp.489-516. ⟨10.3166/jancl.19.489-516⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Probable Innocence and Independent Knowledge
- auteur
- Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab Elsalamouny
- article
- Formal Aspects of Security and Trust, Nov 2009, Eindhoven, Netherlands. pp.141-156, ⟨10.1007/978-3-642-12459-4_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Modelando Sistemas de Membranas en ntcc
- auteur
- Angela Villota, Jesus Aranda, Diaz Juan Francisco
- article
- XXXV Latin American Informatics Conference, Sep 2009, Pelotas, Brazil
- Accès au texte intégral et bibtex
-
- titre
- A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs
- auteur
- Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
- article
- PPDP 2009 – ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩
- Accès au texte intégral et bibtex
-
- titre
- An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
- auteur
- Jesus Aranda, Gérard Assayag, Carlos Olarte, Camilo Rueda, Toro Mauricio, Perez Jorge, Frank D. Valencia
- article
- ICLP 2009 – 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩
- Accès au texte intégral et bibtex
-
- titre
- A Declarative Language for Dynamic Multimedia Interaction Systems
- auteur
- Carlos Olarte, Camilo Rueda
- article
- MCM 2009 – Second International Conference of the Society for Mathematics and Computation in Music, Jun 2009, New Haven, United States. ⟨10.1007/978-3-642-02394-1_20⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Notions of Leakage for One-try Attacks
- auteur
- Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), May 2009, Oxford, United Kingdom. pp.75-91
- Accès au texte intégral et bibtex
-
- titre
- Towards a Unified Framework for Declarative Structured Communications
- auteur
- Hugo Lopez, Carlos Olarte, Jorge Perez
- article
- 2nd PLACES 2009 – Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2009, York, United Kingdom. 15p
- Accès au texte intégral et bibtex
-
- titre
- On the Expressive Power of Restriction and Priorities in CCS with replication
- auteur
- Jesus Aranda, Frank Valencia, Cristian Versari
- article
- Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Mar 2009, York, UK, United Kingdom. ⟨10.1007/978-3-642-00596-1_18⟩
- Accès au texte intégral et bibtex
-
- titre
- Epistemic Strategies and Games on Concurrent Processes
- auteur
- Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden
- article
- SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. pp.153-166
- Accès au texte intégral et bibtex
-
Chapitre d’ouvrage
- titre
- Concurrent Constraint Calculi: a Declarative Paradigm for Modeling Music Systems.
- auteur
- Carlos Olarte, Camilo Rueda, Frank D. Valencia
- article
- Gérard Assayag and Andrew Gerzso. New Computational Paradigms for Computer Music, Delatour France / Ircam-Centre Pompidou, 2009
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Festschrift for Mogens Nielsen’s 60th Birthday
- auteur
- Marco Carbone, Pawel Sobocinski, Frank D. Valencia
- article
- Elsevier, pp.4001-4168, 2009, Theoretical Computer Science, 0304-3975. ⟨10.1016/j.tcs.2009.06.007⟩
- Accès au bibtex
-
- titre
- SOFSEM 2009: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
- auteur
- Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia
- article
- Springer, 5404, pp.1-670, 2009, Lecture Notes in Computer Science, 978-3-540-95890-1. ⟨10.1007/978-3-540-95891-8⟩
- Accès au bibtex
-
- titre
- Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi
- auteur
- Maurizio Gabbrielli, Moreno Falaschi, Catuscia Palamidessi
- article
- Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science
- Accès au bibtex
-
- titre
- Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics
- auteur
- Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
- article
- Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier, 249, pp.1-490, 2009, Electronic Notes in Theoretical Computer Science
- Accès au bibtex
-
Thèse
- titre
- On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus
- auteur
- Jesus Aranda
- article
- Modeling and Simulation. Ecole Polytechnique X; Universidad del Valle, 2009. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité
- auteur
- Carlos Olarte
- article
- Modeling and Simulation. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
- auteur
- Romain Beauxis
- article
- Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2008
Article dans une revue
- titre
- On the Bayes Risk in Information-Hiding Protocols
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
- article
- Journal of Computer Security, 2008, 16 (5), pp.531–571. ⟨10.3233/JCS-2008-0333⟩
- Accès au texte intégral et bibtex
-
- titre
- Anonymity Protocols as Noisy Channels
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
- article
- Information and Computation, 2008, 206 (2-4), pp.378–401. ⟨10.1016/j.ic.2007.07.003⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programmin
- auteur
- Jesus Aranda, Perez Jorge, Camilo Rueda, Frank Valencia
- article
- Logic Programming, Dec 2008, Udine, Italy. ⟨10.1007/978-3-540-89982-2_57⟩
- Accès au texte intégral et bibtex
-
- titre
- The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security
- auteur
- Carlos Olarte, Frank D. Valencia
- article
- 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM, Jul 2008, Valencia, Spain. pp.8-19, ⟨10.1145/1389449.1389452⟩
- Accès au texte intégral et bibtex
-
- titre
- Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security
- auteur
- Carlos Olarte, Frank D. Valencia
- article
- 23rd Annual ACM Symposium on Applied Computing, ACM, Mar 2008, Fortaleza, Brazil
- Accès au texte intégral et bibtex
-
- titre
- Compositional Methods for Information-Hiding
- auteur
- Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. ⟨10.1007/978-3-540-78499-9_31⟩
- Accès au texte intégral et bibtex
-
- titre
- Bounds on the leakage of the input’s distribution in information-hiding protocols
- auteur
- Abhishek Bhowmick, Catuscia Palamidessi
- article
- Fourth Symposium on Trustworthy Global Computing (TGC), 2008, France. pp.36–51
- Accès au texte intégral et bibtex
-
Chapitre d’ouvrage
- titre
- On the asynchronous nature of the asynchronous π-calculus
- auteur
- Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia
- article
- Rocco De Nicola, Pierpaolo Degano, and José Meseguer. Concurrency, Graphs and Models, Springer, pp.473-492, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-68679-8_29⟩
- Accès au texte intégral et bibtex
-
2007
Article dans une revue
- titre
- Tutorial on separation results in process calculi via leader election problems
- auteur
- Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
- article
- Theoretical Computer Science, 2007, 388 (1-3), pp.267–289. ⟨10.1016/j.tcs.2007.09.001⟩
- Accès au texte intégral et bibtex
-
- titre
- A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Theoretical Computer Science, 2007, 389 (3), pp.512-527. ⟨10.1016/j.tcs.2007.09.006⟩
- Accès au texte intégral et bibtex
-
- titre
- Axiomatizations for probabilistic finite-state behaviors
- auteur
- Yuxin Deng, Catuscia Palamidessi
- article
- Theoretical Computer Science, 2007, 373 (1-2), pp.92-114. ⟨10.1016/j.tcs.2006.12.008⟩
- Accès au texte intégral et bibtex
-
- titre
- Separation of synchronous and asynchronous communication via testing
- auteur
- Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
- article
- Theoretical Computer Science, 2007, 386 (3), pp.218-235. ⟨10.1016/j.tcs.2007.07.009⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
- auteur
- Jesus Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank Valencia
- article
- 5th Asian Symposium on Programming Languages and Systems (APLAS’07), Nov 2007, Singapore, Singapore. pp.383-398, ⟨10.1007/978-3-540-76637-7_26⟩
- Accès au texte intégral et bibtex
-
- titre
- A Probabilistic Applied Pi-Calculus
- auteur
- Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
- article
- 5th Asian Symposium on Programming Languages and Systems (APLAS’07), Nov 2007, Singapore, Singapore. pp.175-190, ⟨10.1007/978-3-540-76637-7_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Approaches to Information-Hiding (Tutorial)
- auteur
- Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
- article
- Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. pp.347-362, ⟨10.1007/978-3-540-78663-4_23⟩
- Accès au texte intégral et bibtex
-
- titre
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
- auteur
- Diletta Cacciagrano, Flavio Corradini, Jesus Aranda, Frank Valencia
- article
- 14th International Workshop on Expressiveness in Concurrency (EXPRESS’07), Sep 2007, Lisbon, Portugal. pp.58-71
- Accès au texte intégral et bibtex
-
- titre
- Making Random Choices Invisible to the Scheduler
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- CONCUR’07, Sep 2007, Lisboa, Portugal. ⟨10.1007/978-3-540-74407-8_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- auteur
- Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank D. Valencia
- article
- 23rd International Conference in Logic Programming (ICLP’07), Sep 2007, Porto, Portugal. pp.271–285, ⟨10.1007/978-3-540-74610-2_19⟩
- Accès au texte intégral et bibtex
-
- titre
- Model checking the probabilistic pi-calculus
- auteur
- Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
- article
- 4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. pp.169-178, ⟨10.1109/QEST.2007.27⟩
- Accès au texte intégral et bibtex
-
- titre
- Symbolic Bisimulation for Probabilistic Systems
- auteur
- Peng Wu, Catuscia Palamidessi, Huimin Lin
- article
- 4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. pp.179-188, ⟨10.1109/QEST.2007.46⟩
- Accès au texte intégral et bibtex
-
- titre
- Universal Timed Concurrent Constraint Programming
- auteur
- Carlos Olarte, Catuscia Palamidessi, Frank D. Valencia
- article
- 23rd International Conference in Logic Programming (ICLP’07), Sep 2007, Porto, Portugal. pp.464-465, ⟨10.1007/978-3-540-74610-2_47⟩
- Accès au texte intégral et bibtex
-
- titre
- Probability of Error in Information-Hiding Protocols
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
- article
- 20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. pp.341-354, ⟨10.1109/CSF.2007.13⟩
- Accès au texte intégral et bibtex
-
2006
Article dans une revue
- titre
- Languages for Concurrency
- auteur
- Catuscia Palamidessi, Frank D. Valencia
- article
- Bulletin- European Association for Theoretical Computer Science, 2006, 90, pp.155-171
- Accès au texte intégral et bibtex
-
- titre
- Probable Innocence Revisited
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Theoretical Computer Science, 2006, 367 (1-2), pp.123-138. ⟨10.1016/j.tcs.2006.08.033⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Anonymity Protocols as Noisy Channels
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
- article
- 2nd Symposium on Trustworthy Global Computing (TGC), Nov 2006, Lucca, Italy. pp.281-300, ⟨10.1007/978-3-540-75336-0_18⟩
- Accès au texte intégral et bibtex
-
- titre
- Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi
- auteur
- Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
- article
- 5th International Symposium on Formal Methods for Components and Objects (FMCO’06), Nov 2006, Amsterdam, Netherlands. pp.185-206, ⟨10.1007/978-3-540-74792-5⟩
- Accès au texte intégral et bibtex
-
- titre
- Fair Pi
- auteur
- Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
- article
- 13th International Workshop on Expressiveness in Concurrency (EXPRESS’06), Aug 2006, Bonn, Germany. pp.3-26, ⟨10.1016/j.entcs.2007.04.010⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
- auteur
- Catuscia Palamidessi, Vijay Saraswat, Frank D. Valencia, Bjorn Victor
- article
- Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. pp.59-68, ⟨10.1109/LICS.2006.39⟩
- Accès au texte intégral et bibtex
-
- titre
- A Declarative Framework for Security: Secure Concurrent Constraint Programming
- auteur
- Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
- article
- 22nd International Conference on logic Programming (ICLP), Sandro Etalle and Miroslaw Truszczynski, Aug 2006, Seattle, United States. pp.449-450, ⟨10.1007/11799573_43⟩
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic and nondeterministic aspects of Anonymity
- auteur
- Catuscia Palamidessi
- article
- 21st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXI), May 2006, Birmingham, United Kingdom. pp.33-42, ⟨10.1016/j.entcs.2005.11.050⟩
- Accès au texte intégral et bibtex
-
- titre
- Expressiveness of probabilistic \pi-calculi
- auteur
- Sylvain Pradalier, Catuscia Palamidessi
- article
- 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL), Apr 2006, Vienna, Austria. ⟨10.1016/j.entcs.2006.07.015⟩
- Accès au texte intégral et bibtex
-
2005
Article dans une revue
- titre
- Recursion vs Replication in Process Calculi: Expressiveness
- auteur
- Catuscia Palamidessi, Frank D. Valencia
- article
- Bulletin- European Association for Theoretical Computer Science, 2005, 87, pp.105-125
- Accès au texte intégral et bibtex
-
- titre
- A randomized encoding of the pi-calculus with mixed choice
- auteur
- Catuscia Palamidessi, Oltea Mihaela Herescu
- article
- Theoretical Computer Science, 2005, 335 (2-3), pp.373-404. ⟨10.1016/j.tcs.2004.11.020⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Expressiveness via Leader Election Problems
- auteur
- Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
- article
- 4th International Symposium on Formal Methods for Components and Objects (FMCO), Nov 2005, Amsterdam, Netherlands. pp.172-194, ⟨10.1007/11804192_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Separation of synchronous and asynchronous communication via testing
- auteur
- Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
- article
- Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS 2005), Aug 2005, San Francisco, United States. pp.95-108, ⟨10.1016/j.entcs.2006.05.009⟩
- Accès au texte intégral et bibtex
-
- titre
- Weak Probabilistic Anonymity
- auteur
- Yuxin Deng, Catuscia Palamidessi, Jun Pang
- article
- 3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. pp.55-76, ⟨10.1016/j.entcs.2005.05.043⟩
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic Anonymity
- auteur
- Mohit Bhargava, Catuscia Palamidessi
- article
- CONCUR’05, Aug 2005, San Francisco, United States. pp.171-185, ⟨10.1007/11539452_16⟩
- Accès au texte intégral et bibtex
-
- titre
- A Congruence Format for Name-passing Calculi
- auteur
- Axelle Ziegler, Dale Miller, Catuscia Palamidessi
- article
- 2nd Workshop on Structural Operational Semantics (SOS’05), Jul 2005, Lisboa, Portugal. pp.169-189, ⟨10.1016/j.entcs.2005.09.032⟩
- Accès au texte intégral et bibtex
-
- titre
- Probable Innocence Revisited
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Jul 2005, Newcastle Upon Tyne, United Kingdom. pp.142-157
- Accès au texte intégral et bibtex
-
- titre
- Axiomatizations for probabilistic finite-state behaviors
- auteur
- Yuxin Deng, Catuscia Palamidessi
- article
- 8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2005), Apr 2005, Edinburgh, United Kingdom. pp.110-124, ⟨10.1007/b106850⟩
- Accès au texte intégral et bibtex
-
- titre
- A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange
- auteur
- Konstantinos Chatzikokolakis, Catuscia Palamidessi
- article
- First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. pp.146-162, ⟨10.1007/11580850_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Metrics for Action-labelled Quantitative Transition Systems
- auteur
- Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
- article
- Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. pp.79-96, ⟨10.1016/j.entcs.2005.10.033⟩
- Accès au texte intégral et bibtex
-
Chapitre d’ouvrage
- titre
- Compositional Reasoning for Probabilistic Finite-State Behaviors
- auteur
- Yuxin Deng, Catuscia Palamidessi, Jun Pang
- article
- Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, ⟨10.1007/11601548_17⟩
- Accès au texte intégral et bibtex
-
2003
Article dans une revue
- titre
- Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi
- auteur
- Catuscia Palamidessi
- article
- Mathematical Structures in Computer Science, 2003, 13 (5), pp.685-719. ⟨10.1017/S0960129503004043⟩
- Accès au texte intégral et bibtex
-