Group COMETE

Group Comète

LIX, Ecole Polytechnique

Themes: digital trust

Comète focuses on the design, implementation and applications of formal languages for mobile, secure, stochastic and distributed systems. We are particularly interested in formal languages based on process calculi.

Contact person: Catuscia Palamidessi, http://www.lix.polytechnique.fr/~catuscia/

Web site: http://www.lix.polytechnique.fr/comete/

Journal articles

2025

ref_biblio: Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi. Group fairness under obfuscated sensitive information. Journal of Computer Security, 2025, pp.1-26. ⟨10.1177/0926227X251330212⟩. ⟨hal-05070800⟩
Accès au texte intégral et bibtex

ref_biblio: Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Enhancing Metric Privacy With a Shuffler. Proceedings on Privacy Enhancing Technologies, 2025. ⟨hal-04895564⟩
Accès au texte intégral et bibtex

2024

ref_biblio: Héber Hwang Arcolezi, Jean-François Couchot, Bechara Al Bouna, Xiaokui Xiao. Improving the utility of locally differentially private protocols for longitudinal and multidimensional frequency estimates. Digital Communications and Networks, 2024, 10 (2), pp.369-379. ⟨10.1016/j.dcan.2022.07.003⟩. ⟨hal-03727621⟩
Accès au texte intégral et bibtex

ref_biblio: Ugur Ilker Atmaca, Sayan Biswas, Carsten Maple, Catuscia Palamidessi. A Privacy-Preserving Querying Mechanism with High Utility for Electric Vehicles. IEEE Open Journal of Vehicular Technology, 2024, 5, pp.262-277. ⟨10.1109/OJVT.2024.3360302⟩. ⟨hal-04467866v2⟩
Accès au texte intégral et bibtex

ref_biblio: Sayan Biswas, Catuscia Palamidessi. PRIVIC: A privacy-preserving method for incremental collection of location data. Proceedings on Privacy Enhancing Technologies, 2024, 2024 (1), pp.582-596. ⟨10.56553/popets-2024-0033⟩. ⟨hal-03968692v3⟩
Accès au texte intégral et bibtex

ref_biblio: Héber H. Arcolezi, Sébastien Gambs. Revealing the True Cost of Locally Differentially Private Protocols: An Auditing Perspective. Proceedings on Privacy Enhancing Technologies, 2024, 2024 (4), pp.123 - 141. ⟨10.56553/popets-2024-0110⟩. ⟨hal-04644975⟩
Accès au texte intégral et bibtex

ref_biblio: Karima Makhlouf, Héber Hwang Arcolezi, Sami Zhioua, Ghassen Ben Brahim, Catuscia Palamidessi. On the Impact of Multi-dimensional Local Differential Privacy on Fairness. Data Mining and Knowledge Discovery, 2024, pp.1-24. ⟨10.1007/s10618-024-01031-0⟩. ⟨hal-04329938v2⟩
Accès au texte intégral et bibtex

ref_biblio: Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi. When causality meets fairness: A survey. Journal of Logical and Algebraic Methods in Programming, 2024, 141, pp.101000. ⟨10.1016/J.JLAMP.2024.101000⟩. ⟨hal-04950308⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia. On the incompatibility of accuracy and equal opportunity. Machine Learning, 2024, 113 (5), pp.2405-2434. ⟨10.1007/s10994-023-06331-y⟩. ⟨hal-04308195⟩
Accès au texte intégral et bibtex

2023

ref_biblio: Guilherme Alves, Fabien Bernier, Miguel Couceiro, Karima Makhlouf, Catuscia Palamidessi, et al.. Survey on Fairness Notions and Related Tensions. EURO journal on decision processes, In press, ⟨10.1016/j.ejdp.2023.100033⟩. ⟨hal-03484009v3⟩
Accès au texte intégral et bibtex

ref_biblio: Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia. A Formal Model for Polarization under Confirmation Bias in Social Networks. Logical Methods in Computer Science, 2023, ⟨10.46298/lmcs-19(1:18)2023⟩. ⟨hal-03872692⟩
Accès au bibtex

ref_biblio: Héber H. Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi. On the Risks of Collecting Multidimensional Data Under Local Differential Privacy. Proceedings of the VLDB Endowment (PVLDB), 2023, 16 (5), pp.1126 - 1139. ⟨10.14778/3579075.3579086⟩. ⟨hal-04082592⟩
Accès au texte intégral et bibtex

ref_biblio: Ganesh Del Grosso, George Pichler, Catuscia Palamidessi, Pablo Piantanida. Bounding Information Leakage in Machine Learning. Neurocomputing, 2023, 534, pp.1-17. ⟨10.1016/j.neucom.2023.02.058⟩. ⟨hal-04349219⟩
Accès au texte intégral et bibtex

ref_biblio: Natalia Díaz-Rodríguez, Rūta Binkytė, Wafae Bakkali, Sannidhi Bookseller, Paola Tubaro, et al.. Gender and sex bias in COVID-19 epidemiological data through the lens of causality. Information Processing and Management, 2023, 60 (3), pp.103276. ⟨10.1016/j.ipm.2023.103276⟩. ⟨hal-03961804⟩
Accès au texte intégral et bibtex

ref_biblio: Natasha Fernandes, Annabelle Mciver, Catuscia Palamidessi, Ming Ding. Universal optimality and robust utility bounds for metric differential privacy. Journal of Computer Security, 2023, pp.1-42. ⟨10.3233/JCS-230036⟩. ⟨hal-04349262⟩
Accès au texte intégral et bibtex

ref_biblio: Filippo Galli, Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi, Tommaso Cucinotta. Advancing Personalized Federated Learning: Group Privacy, Fairness, and Beyond. SN Computer Science, 2023, Volume 4, issue 6, November 2023, 4 (6), pp.831. ⟨10.1007/s42979-023-02292-0⟩. ⟨hal-04320177⟩
Accès au texte intégral et bibtex

ref_biblio: Marine Picot, Federica Granese, Guillaume Staerman, Marco Romanelli, Francisco Messina, et al.. A Halfspace-Mass Depth-Based Method for Adversarial Attack Detection. Transactions on Machine Learning Research Journal, 2023. ⟨hal-04575113⟩
Accès au texte intégral et bibtex

2022

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi. Information Leakage Games: Exploring Information as a Utility Function. ACM Transactions on Privacy and Security, 2022, 25 (3), ⟨10.1145/3517330⟩. ⟨hal-03091413⟩
Accès au bibtex

ref_biblio: Héber Hwang Arcolezi, Jean-François Couchot, Denis Renaud, Bechara Al Bouna, Xiaokui Xiao. Differentially private multivariate time series forecasting of aggregated human mobility with deep learning: Input or gradient perturbation?. Neural Computing and Applications, 2022, 34, pp.13355-13369. ⟨10.1007/s00521-022-07393-0⟩. ⟨hal-03689723⟩
Accès au texte intégral et bibtex

2021

ref_biblio: Stefano Dettori, Alessandro Maddaloni, Filippo Galli, Valentina Colla, Federico Bucciarelli, et al.. Steam turbine rotor stress control through nonlinear model predictive control. 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⟩. ⟨hal-03955937⟩
Accès au texte intégral et bibtex

ref_biblio: Federica Granese, Daniele Gorla, Catuscia Palamidessi. Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. International Journal of Information Security, 2021, 20 (5), pp.673-782. ⟨10.1007/s10207-020-00530-7⟩. ⟨hal-03094843⟩
Accès au texte intégral et bibtex

ref_biblio: Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, et al.. Reasoning about distributed information with infinitely many agents. Journal of Logical and Algebraic Methods in Programming, 2021, ⟨10.1016/J.JLAMP.2021.100674⟩. ⟨hal-03098441⟩
Accès au texte intégral et bibtex

ref_biblio: Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi. On the Applicability of ML Fairness Notions. SIGKDD explorations : newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, 2021, 23 (1), pp.14-23. ⟨10.1145/3468507.3468511⟩. ⟨hal-03091436⟩
Accès au bibtex

ref_biblio: Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi. Machine learning fairness notions: Bridging the gap with real-world applications. Information Processing and Management, 2021, 58 (5), ⟨10.1016/j.ipm.2021.102642⟩. ⟨hal-03624025⟩
Accès au texte intégral et bibtex

2020

ref_biblio: Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Logical Characterization of Differential Privacy. Science of Computer Programming, 2020, 188, pp.102388. ⟨10.1016/j.scico.2019.102388⟩. ⟨hal-02423048⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi. Refinement Orders for Quantitative Information Flow and Differential Privacy. Journal of Cybersecurity and Privacy, 2020, 1, pp.40 - 77. ⟨10.3390/jcp1010004⟩. ⟨hal-03091754⟩
Accès au texte intégral et bibtex

ref_biblio: Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi. Dynamic slicing for Concurrent Constraint Languages. Fundamenta Informaticae, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩. ⟨hal-02423973v2⟩
Accès au texte intégral et bibtex

2019

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, et al.. An Axiomatization of Information Flow Measures. Theoretical Computer Science, 2019, 777, pp.32-54. ⟨10.1016/j.tcs.2018.10.016⟩. ⟨hal-01995712⟩
Accès au texte intégral et bibtex

2018

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi. A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy, 2018, 20 (5), pp.382. ⟨10.3390/e20050382⟩. ⟨hal-01966862⟩
Accès au texte intégral et bibtex

ref_biblio: Valentina Castiglioni, Daniel Gebler, Simone Tini. SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. Logical Methods in Computer Science, 2018, 14 (2), ⟨10.23638/LMCS-14(2:18)2018⟩. ⟨hal-01966954⟩
Accès au bibtex

ref_biblio: Fabio Gadducci, Francesco Santini, Luis Fernando Pino Duque, Frank Valencia. Observational and Behavioural Equivalences for Soft Concurrent Constraint Programming. Journal of Logical and Algebraic Methods in Programming, 2018, 92, pp.45-63. ⟨10.1016/j.jlamp.2017.06.001⟩. ⟨hal-01675060⟩
Accès au bibtex

ref_biblio: Michell Guzmán, Salim Perchy, Camilo Rueda, Frank Valencia. Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic. Theoretical Computer Science, 2018, 744 (56--77). ⟨hal-01675010v2⟩
Accès au texte intégral et bibtex

2017

ref_biblio: Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi. Efficient Utility Improvement for Location Privacy. Proceedings on Privacy Enhancing Technologies, 2017, 2017 (4), pp.308-328. ⟨10.1515/popets-2017-0051⟩. ⟨hal-01422842v2⟩
Accès au texte intégral et bibtex

ref_biblio: Stefan Haar, Salim Perchy, Frank Valencia. Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach. International Journal of Semantic Computing, 2017, 11 (04), pp.451 - 472. ⟨10.1142/S1793351X17400189⟩. ⟨hal-01673529⟩
Accès au texte intégral et bibtex

ref_biblio: Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone. Quantifying Leakage in the Presence of Unreliable Sources of Information. Journal of Computer and System Sciences, 2017, 88, pp.27-52. ⟨hal-01421417⟩
Accès au texte intégral et bibtex

ref_biblio: Ali Kassem, Yliès Falcone, Pascal Lafourcade. Formal analysis and offline monitoring of electronic exams. Formal Methods in System Design, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩. ⟨hal-01653884⟩
Accès au texte intégral et bibtex

ref_biblio: Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. On the Compositionality of Quantitative Information Flow. Logical Methods in Computer Science, 2017, 13 (3), pp.1-31. ⟨hal-01421424⟩
Accès au bibtex

2016

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun. Compositional methods for information-hiding. Mathematical Structures in Computer Science, 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩. ⟨hal-01006384⟩
Accès au texte intégral et bibtex

ref_biblio: Ehab Elsalamouny, Sébastien Gambs. Differential Privacy Models for Location- Based Services. Transactions on Data Privacy, 2016, 9 (1), pp.15 - 48. ⟨hal-01418136⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Gazeau, Dale Miller, Catuscia Palamidessi. Preserving differential privacy under finite-precision semantics. Theoretical Computer Science, 2016. ⟨hal-01390927⟩
Accès au texte intégral et bibtex

ref_biblio: Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia. Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion. Journal of Logical and Algebraic Methods in Programming, 2016, ⟨10.1016/j.jlamp.2016.09.001⟩. ⟨hal-01257113v4⟩
Accès au texte intégral et bibtex

2015

ref_biblio: Mário Sérgio Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi. On the information leakage of differentially-private mechanisms. Journal of Computer Security, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩. ⟨hal-00940425v2⟩
Accès au texte intégral et bibtex

ref_biblio: Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi. Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theoretical Computer Science, 2015, 604, pp. 102-126. ⟨10.1016/j.tcs.2015.03.024⟩. ⟨hal-01284933⟩
Accès au bibtex

ref_biblio: Filippo Bonchi, Fabio Gadducci, Paolo Baldan, Valentina Monreale. Concurrency cannot be observed, asynchronously. Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129513000108⟩. ⟨hal-01284912⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Constructing elastic distinguishability metrics for location privacy . Proceedings on Privacy Enhancing Technologies, 2015, 2015 (2), pp.156-170. ⟨10.1515/popets-2015-0023⟩. ⟨hal-01270197⟩
Accès au bibtex

ref_biblio: Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi. Abstract Interpretation of Temporal Concurrent Constraint Programs. Theory and Practice of Logic Programming, 2015, 15 (3), pp.312-357. ⟨hal-00945462⟩
Accès au texte intégral et bibtex

ref_biblio: Luis Pino, Andres Aristizabal, Filippo Bonchi, Frank Valencia. Weak CCP bisimilarity with strong procedures. Science of Computer Programming, 2015, 100, pp.84-104. ⟨10.1016/j.scico.2014.09.007⟩. ⟨hal-00976768v2⟩
Accès au texte intégral et bibtex

ref_biblio: Luis Fernando Pino Duque, Filippo Bonchi, Frank Valencia. Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming. Science of Computer Programming, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩. ⟨hal-01098502⟩
Accès au texte intégral et bibtex

2014

ref_biblio: Thomas Given-Wilson, Daniele Gorla, Barry Jay. A Concurrent Pattern Calculus. Logical Methods in Computer Science, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩. ⟨hal-00987578v2⟩
Accès au texte intégral et bibtex

2013

ref_biblio: Sardaouna Hamadou, Vladimiro Sassone, Mu Yang. An analysis of trust in anonymity networks in the presence of adaptive attackers. Mathematical Structures in Computer Science, 2013. ⟨hal-00760437v2⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Olarte, Camilo Rueda, Frank D. Valencia. Models and Emerging Trends of Concurrent Constraint Programming. Constraints, 2013, 18 (4), pp.535-578. ⟨10.1007/s10601-013-9145-3⟩. ⟨hal-00869192v2⟩
Accès au texte intégral et bibtex

2012

ref_biblio: Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Quantitative Information Flow in Interactive Systems. Journal of Computer Security, 2012, 20 (1), pp.3-50. ⟨inria-00637356⟩
Accès au texte intégral et bibtex

ref_biblio: Franck Cassez, Jérémy Dubreil, Hervé Marchand. Synthesis of opaque systems with static and dynamic masks. Formal Methods in System Design, 2012, 40 (1), pp.88-115. ⟨10.1007/s10703-012-0141-9⟩. ⟨hal-00662539⟩
Accès au texte intégral et bibtex

ref_biblio: Manuella Catel-Ferreira, Rony Nehmé, Virginie Molle, Jesus Aranda, Emeline Bouffartigues, et al.. Deciphering the Function of the Outer Membrane Protein OprD Homologue of Acinetobacter baumannii. Antimicrobial Agents and Chemotherapy, 2012, 56 (7), pp.3826-3832. ⟨10.1128/AAC.06022-11⟩. ⟨hal-02282677⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. ACM Transactions on Computational Logic, 2012, 13 (4), pp.28:1-28:35. ⟨10.1145/2362355.2362356⟩. ⟨inria-00637160⟩
Accès au texte intégral et bibtex

ref_biblio: Matteo Mio. Probabilistic modal mu-calculus with independent product. Logical Methods in Computer Science, 2012, 8 (4), pp.1-36. ⟨hal-00763451⟩
Accès au bibtex

ref_biblio: Matteo Mio. On the equivalence of game and denotational semantics for the probabilistic μ -calculus. Logical Methods in Computer Science, 2012, 8 (2), pp.1-21. ⟨hal-00763454⟩
Accès au bibtex

2011

ref_biblio: Miguel E. Andrés, Catuscia Palamidessi, Ana Sokolova, Peter van Rossum. Information Hiding in Probabilistic Concurrent Systems (journal version). Theoretical Computer Science, 2011, 412 (28), pp.3072-3089. ⟨hal-00573447⟩
Accès au texte intégral et bibtex

2010

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi. Making Random Choices Invisible to the Scheduler. Information and Computation, 2010, 208 (6), pp.694-715. ⟨10.1016/j.ic.2009.06.006⟩. ⟨inria-00424860v2⟩
Accès au texte intégral et bibtex

ref_biblio: Simon Kramer, Julian C. Bradfield. A general definition of malware. Journal in Computer Virology, 2010, 6 (2), pp.105-114. ⟨hal-00772694⟩
Accès au bibtex

2009

ref_biblio: Romain Beauxis, Catuscia Palamidessi. Probabilistic and nondeterministic aspects of anonymity. Theoretical Computer Science, 2009, 410 (41), pp.4006--4025. ⟨10.1016/j.tcs.2009.06.008⟩. ⟨inria-00424855⟩
Accès au texte intégral et bibtex

ref_biblio: Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Explicit Fairness in Testing Semantics. Logical Methods in Computer Science, 2009, 5 (2), pp.Article 15. ⟨hal-00444580⟩
Accès au texte intégral et bibtex

ref_biblio: Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun. A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding. Journal of Applied Non-Classical Logics, 2009, 19 (4), pp.489-516. ⟨10.3166/jancl.19.489-516⟩. ⟨inria-00445212v2⟩
Accès au texte intégral et bibtex

ref_biblio: Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu. Model checking probabilistic and stochastic extensions of the $\pi$-calculus. IEEE Transactions on Software Engineering, 2009, 35 (2), pp.209--223. ⟨inria-00424856⟩
Accès au texte intégral et bibtex

2008

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. On the Bayes Risk in Information-Hiding Protocols. Journal of Computer Security, 2008, 16 (5), pp.531--571. ⟨10.3233/JCS-2008-0333⟩. ⟨inria-00349224⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Anonymity Protocols as Noisy Channels. Information and Computation, 2008, 206 (2-4), pp.378--401. ⟨10.1016/j.ic.2007.07.003⟩. ⟨inria-00349225⟩
Accès au texte intégral et bibtex

2007

ref_biblio: Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Separation of synchronous and asynchronous communication via testing. Theoretical Computer Science, 2007, 386 (3), pp.218-235. ⟨10.1016/j.tcs.2007.07.009⟩. ⟨inria-00200916⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. Theoretical Computer Science, 2007, 389 (3), pp.512-527. ⟨10.1016/j.tcs.2007.09.006⟩. ⟨inria-00200913⟩
Accès au texte intégral et bibtex

ref_biblio: Yuxin Deng, Catuscia Palamidessi. Axiomatizations for probabilistic finite-state behaviors. Theoretical Computer Science, 2007, 373 (1-2), pp.92-114. ⟨10.1016/j.tcs.2006.12.008⟩. ⟨inria-00200928⟩
Accès au texte intégral et bibtex

ref_biblio: Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi. Tutorial on separation results in process calculi via leader election problems. Theoretical Computer Science, 2007, 388 (1-3), pp.267--289. ⟨10.1016/j.tcs.2007.09.001⟩. ⟨inria-00201071⟩
Accès au texte intégral et bibtex

2006

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi. Probable Innocence Revisited. Theoretical Computer Science, 2006, 367 (1-2), pp.123-138. ⟨10.1016/j.tcs.2006.08.033⟩. ⟨inria-00201072⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi, Frank D. Valencia. Languages for Concurrency. Bulletin- European Association for Theoretical Computer Science, 2006, 90, pp.155-171. ⟨inria-00201082⟩
Accès au texte intégral et bibtex

2005

ref_biblio: Catuscia Palamidessi, Oltea Mihaela Herescu. A randomized encoding of the pi-calculus with mixed choice. Theoretical Computer Science, 2005, 335 (2-3), pp.373-404. ⟨10.1016/j.tcs.2004.11.020⟩. ⟨inria-00201105⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi, Frank D. Valencia. Recursion vs Replication in Process Calculi: Expressiveness. Bulletin- European Association for Theoretical Computer Science, 2005, 87, pp.105-125. ⟨inria-00201158⟩
Accès au texte intégral et bibtex

2003

ref_biblio: Catuscia Palamidessi. Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi. Mathematical Structures in Computer Science, 2003, 13 (5), pp.685-719. ⟨10.1017/S0960129503004043⟩. ⟨inria-00201104⟩
Accès au texte intégral et bibtex

Conference papers

2025

ref_biblio: Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting. CSF 2025 - 38th IEEE Computer Security Foundations Symposium, IEEE, Jun 2025, Santa Cruz, United States. ⟨hal-04781593⟩
Accès au texte intégral et bibtex

2024

ref_biblio: Mário Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia. A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. 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⟩. ⟨hal-04803832⟩
Accès au texte intégral et bibtex

ref_biblio: Jesús Aranda, Sebastián Betancourt, Juan Fco, Frank Valencia. Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. CONCUR 2024 - 35th International Conference on Concurrency Theory, Sep 2024, Calgary, Canada. ⟨10.4230/LIPIcs.CONCUR.2024.22⟩. ⟨hal-04803850⟩
Accès au texte intégral et bibtex

ref_biblio: Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi. Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling. 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⟩. ⟨hal-04707344⟩
Accès au texte intégral et bibtex

ref_biblio: Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi. BaBE: Enhancing Fairness via Estimation of Explaining Variables. FAccT 2024 - The ACM Conference on Fairness, Accountability, and Transparency, Jun 2024, Rio de Janeiro, Brazil. pp.1917 - 1925, ⟨10.1145/3630106.3659016⟩. ⟨hal-04950351⟩
Accès au texte intégral et bibtex

ref_biblio: Ruta Binkyte, Carlos Pinzón, Szilvia Lestyán, Kangsoo Jung, Héber Hwang Arcolezi, et al.. Causal Discovery Under Local Privacy. Third Conference on Causal Learning and Reasoning, Apr 2024, Los Angeles, CA, United States. pp.325-383. ⟨hal-04617032⟩
Accès au texte intégral et bibtex

ref_biblio: Sayan Biswas, Mathieu Even, Anne-Marie Kermarrec, Laurent Massoulié, Rafael Pires, et al.. Noiseless Privacy-Preserving Decentralized Learning. PETS 2025 - 25th Privacy Enhancing Technologies Symposium, Jul 2024, Bristol, United Kingdom. pp.824 - 844, ⟨10.56553/popets-2025-0043⟩. ⟨hal-04920384⟩
Accès au texte intégral et bibtex

ref_biblio: Filippo Galli, Catuscia Palamidessi, Tommaso Cucinotta. Online Sensitivity Optimization in Differentially Private Learning. AAAI 2024 - National Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.12109-12117, ⟨10.1609/aaai.v38i11.29099⟩. ⟨hal-04941814⟩
Accès au texte intégral et bibtex

ref_biblio: Karima Makhlouf, Tamara Stefanović, Héber Hwang Arcolezi, Catuscia Palamidessi. A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results. CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands. pp.1-16, ⟨10.1109/CSF61375.2024.00039⟩. ⟨hal-04832154⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia. Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. 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⟩. ⟨hal-04803843⟩
Accès au texte intégral et bibtex

ref_biblio: Juan Paz, Camilo Rocha, Luis Tobòn, Frank Valencia. Consensus in Models for Opinion Dynamics with Generalized-Bias. COMPLEX NETWORKS 2024 - 13th International Conference on Complex Networks & Their Applications, Dec 2024, Istanbul, Turkey. pp.253-269, ⟨10.48550/arXiv.2409.10809⟩. ⟨hal-04918975⟩
Accès au texte intégral et bibtex

ref_biblio: Tito Rubèn, Khanh Nguyen, Marlon Tobabon, Raouf Kerkouche, Mohamed Ali Souibgui, et al.. Privacy-Aware Document Visual Question Answering. ICDAR 2024 - 18th International Conference on Document Analysis and Recognition, Aug 2024, Athene, Greece. ⟨10.48550/arXiv.2312.10108⟩. ⟨hal-04948776⟩
Accès au texte intégral et bibtex

2023

ref_biblio: Mário S. Alvim, Natasha Fernandes, Bruno D Nogueira, Catuscia Palamidessi, Thiago V A Silva. On the Duality of Privacy and Fairness. CADE 2023 - International Conference on AI and the Digital Economy, Jun 2023, Venice, Italy. p. 46 - 48. ⟨hal-04407491⟩
Accès au texte intégral et bibtex

ref_biblio: Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi. (Local) Differential Privacy has NO Disparate Impact on Fairness. 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⟩. ⟨hal-04175027⟩
Accès au texte intégral et bibtex

ref_biblio: Héber Hwang Arcolezi, Selene Cerna, Catuscia Palamidessi. On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms. 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⟩. ⟨hal-04175035⟩
Accès au texte intégral et bibtex

ref_biblio: Héber Hwang Arcolezi, Catuscia Palamidessi, Carlos Pinzón, Sébastien Gambs. Frequency Estimation of Evolving Data Under Local Differential Privacy. EDBT 2023 - 26th International Conference on Extending Database Technology, May 2023, Ioánnina, Greece. pp.512-525, ⟨10.48786/edbt.2023.44⟩. ⟨hal-03911550⟩
Accès au texte intégral et bibtex

ref_biblio: Selene Cerna, Catuscia Palamidessi. On the Application and Impact of differential privacy and Fairness in Ambulance Engagement Time Prediction. ICLR 2023 - The First Tiny Papers Track at ICLR 2023, May 2023, Kigali, Rwanda. ⟨hal-04349309⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso. Bayes Security: A Not So Average Metric. CSF 2023 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. ⟨10.1109/CSF57540.2023.00011⟩. ⟨hal-04349285⟩
Accès au texte intégral et bibtex

ref_biblio: Filippo Galli, Sayan Biswas, Kangsoo Jung, Tommaso Cucinotta, Catuscia Palamidessi. Group privacy for personalized federated learning. Proceedings of the 9th International Conference on Information Systems Security and Privacy - ICISSP, 2023, Lisbon, Portugal. pp.252-263, ⟨10.5220/0011885000003405⟩. ⟨hal-03907130⟩
Accès au bibtex

ref_biblio: Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida. On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper). ICTCS 2023 - The 24th Italian Conference on Theoretical Computer Science, Sep 2023, Palermo, Italy. pp.219--224. ⟨hal-04349303⟩
Accès au texte intégral et bibtex

ref_biblio: Mireya Jurado, Ramon Goncalves Gonze, Mário S Alvim, Catuscia Palamidessi. Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. CSF 2023 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. pp.423-438, ⟨10.1109/CSF57540.2023.00033⟩. ⟨hal-04349295⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi. Local Methods for Privacy Protection and Impact on Fairness. CODASPY 2023 - Thirteenth ACM Conference on Data and Application Security and Privacy, Apr 2023, Charlotte NC, United States. ⟨10.1145/3577923.3587263⟩. ⟨hal-04349271⟩
Accès au texte intégral et bibtex

ref_biblio: Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi. Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy. 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⟩. ⟨hal-04322523⟩
Accès au texte intégral et bibtex

2022

ref_biblio: Héber Hwang Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi, Majid Zolfaghari. Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. ESORICS 2022 - European Symposium on Research in Computer Security, Sep 2022, Copenhague, Denmark. pp.770 - 775, ⟨10.1007/978-3-031-17143-7_40⟩. ⟨hal-03816212⟩
Accès au texte intégral et bibtex

ref_biblio: Rūta Binkytė-Sadauskienė, Karima Makhlouf, Carlos Pinzón, Sami Zhioua, Catuscia Palamidessi. Causal Discovery for Fairness. NeurIPS 2022 -Neural Information Processing systems - Workshop AFCP 2022 - Algorithmic Fairness through the Lens of Causality and Privacy, Dec 2022, New Orleans, United States. ⟨hal-03911551⟩
Accès au bibtex

ref_biblio: Sayan Biswas, Graham Cormode, Carsten Maple. Impact of sampling on locally differentially private data collection. CADE 2022 - Competitive Advantage in the Digital Economy, Jun 2022, Venice, Italy. pp.64-70, ⟨10.1049/icp.2022.2042⟩. ⟨hal-03846611⟩
Accès au bibtex

ref_biblio: Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi. Tight Differential Privacy Blanket for the Shuffle Model. CADE 2022 - Competitive Advantage in the Digital Economy, Jun 2022, Venice, Italy. pp.61-63, ⟨10.1049/icp.2022.2041⟩. ⟨hal-03846624⟩
Accès au bibtex

ref_biblio: Ganesh Del Grosso, Hamid Jalalzai, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida. Leveraging Adversarial Examples to Quantify Membership Information Leakage. 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⟩. ⟨hal-03919891⟩
Accès au bibtex

ref_biblio: Natasha Fernandes, Annabelle Mciver, Catuscia Palamidessi, Ming Ding. Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel. pp.348-363, ⟨10.1109/CSF54842.2022.9919647⟩. ⟨hal-03909798⟩
Accès au bibtex

ref_biblio: Federica Granese, Marine Picot, Marco Romanelli, Francisco Messina, Pablo Piantanida. MEAD: A Multi-Armed Approach for Evaluation of Adversarial Examples Detectors. 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⟩. ⟨hal-03909893⟩
Accès au texte intégral et bibtex

ref_biblio: Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi. Identifiability of Causal-based ML Fairness Notions. 14th International Conference on Computational Intelligence and Communication Networks (CICN), IEEE, Dec 2022, Al-khobar, Saudi Arabia. ⟨hal-03920431v2⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia. On the Impossibility of non-Trivial Accuracy in Presence of Fairness Constraints. Proceedings of the AAAI 36th Conference on Artificial Intelligence, Feb 2022, Vancouver / Virtual, Canada. pp.7993-8000, ⟨10.1609/aaai.v36i7.20770⟩. ⟨hal-03452324⟩
Accès au texte intégral et bibtex

2021

ref_biblio: Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia. A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. FORTE 2021 - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. ⟨hal-03095987⟩
Accès au texte intégral et bibtex

ref_biblio: Nathalie Bertrand, Luca de Alfaro, Robert J van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida. CONCUR Test-Of-Time Award 2021. Concur 2021 - International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-3. ⟨hal-03480255⟩
Accès au texte intégral et bibtex

ref_biblio: Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi. An Incentive Mechanism for Trading Personal Data in Data Markets. International Colloquium on Theoretical Aspects of Computing 2021, Sep 2021, Nur-Sultan, Kazakhstan. pp.197-213, ⟨10.1007/978-3-030-85315-0_12⟩. ⟨hal-03589835⟩
Accès au bibtex

ref_biblio: Natasha Fernandes, Yusuke Kawamoto, Takao Murakami. Locality Sensitive Hashing with Extended Differential Privacy. 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⟩. ⟨hal-03319774⟩
Accès au texte intégral et bibtex

ref_biblio: Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida. DOCTOR: A Simple Method for Detecting Misclassification Errors. Advances in Neural Information Processing Systems (NeurIPS), 2021, Virtual event, United States. pp.5669--5681. ⟨hal-03624023v2⟩
Accès au texte intégral et bibtex

ref_biblio: Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith. A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. 2021 IEEE 34th Computer Security Foundations Symposium (CSF), Jun 2021, Dubrovnik, France. pp.1-16, ⟨10.1109/CSF51468.2021.00046⟩. ⟨hal-03906677⟩
Accès au texte intégral et bibtex

ref_biblio: Abhishek Kumar Mishra, Aline Carneiro Viana, Nadjib Achir, Catuscia Palamidessi. Public Wireless Packets Anonymously Hurt You. IEEE LCN 2021 (Doctoral-track - Promising ideas), Oct 2021, Edmonton / Virtual, Canada. ⟨10.1109/LCN52139.2021.9524956⟩. ⟨hal-03298339v2⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank D. Valencia. Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Nov 2021, Marseille, France. pp.413-432. ⟨hal-02422624v3⟩
Accès au texte intégral et bibtex

2020

ref_biblio: Ehab Elsalamouny, Catuscia Palamidessi. Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection. EuroS&P 2020 - 5th IEEE European Symposium on Security and Privacy, Sep 2020, Genova, Italy. pp.490-507. ⟨hal-03091504⟩
Accès au bibtex

ref_biblio: Catuscia Palamidessi, Marco Romanelli. Modern Applications of Game-Theoretic Principles. CONCUR 2020 - 31st International Conference on Concurrency Theory, Sep 2020, Vienne / Virtual, Austria. pp.4:1-4:9, ⟨10.4230/LIPIcs.CONCUR.2020.4⟩. ⟨hal-03091743⟩
Accès au texte intégral et bibtex

ref_biblio: Santiago Quintero, Sergio Ramirez, Camilo Rueda, Frank Valencia. Counting and Computing Join-Endomorphisms in Lattices. 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⟩. ⟨hal-04352165⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Optimal Obfuscation Mechanisms via Machine Learning. CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Online, United States. pp.153-168. ⟨hal-03091514⟩
Accès au bibtex

ref_biblio: Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida. Estimating g-Leakage via Machine Learning. Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS), Nov 2020, Online, United States. pp.697-716. ⟨hal-03091469⟩
Accès au texte intégral et bibtex

2019

ref_biblio: Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi. Comparing systems: max-case refinement orders and application to differential privacy. CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.442--457, ⟨10.1109/CSF.2019.00037⟩. ⟨hal-02126848⟩
Accès au texte intégral et bibtex

ref_biblio: Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi. F-BLEAU: Fast Black-Box Leakage Estimation. S&P 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.835-852, ⟨10.1109/SP.2019.00073⟩. ⟨hal-02422945⟩
Accès au bibtex

ref_biblio: Adriano Di Luzio, Aline Carneiro Viana, Konstantinos Chatzikokolakis, Georgi Dikov, Catuscia Palamidessi, et al.. Catch Me If You Can: How Geo-indistinguishability Affects Utility in Mobility-based Geographic Datasets. LocalRec2019 workshop, jointly with ACM SIGSPATIAL 2019, Nov 2019, Chicago, United States. pp.1-10, ⟨10.1145/3356994.3365498⟩. ⟨hal-02423337⟩
Accès au texte intégral et bibtex

ref_biblio: Daniele Gorla, Federica Granese, Catuscia Palamidessi. Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. 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⟩. ⟨hal-02424329⟩
Accès au texte intégral et bibtex

ref_biblio: Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, et al.. Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩. ⟨hal-02172415v2⟩
Accès au texte intégral et bibtex

ref_biblio: Ali Kassem, Gergely Acs, Claude Castelluccia, Catuscia Palamidessi. Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets. SPW 2019 - 40th IEEE Symposium on Security and Privacy Workshops, May 2019, San Francisco, United States. pp.72-79, ⟨10.1109/SPW.2019.00024⟩. ⟨hal-02422992⟩
Accès au texte intégral et bibtex

ref_biblio: Frank D. Valencia. Semantic Structures for Spatially-Distributed Multi-Agent Systems. 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⟩. ⟨hal-02410770⟩
Accès au bibtex

2018

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii. Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. 31st Computer Security Foundations Symposium (CSF 2018), Jul 2018, Oxford, United Kingdom. pp.262-267, ⟨10.1109/CSF.2018.00026⟩. ⟨hal-01966869v2⟩
Accès au texte intégral et bibtex

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi. Leakage and Protocol Composition in a Game-Theoretic Perspective. 7th International Conference on Principles of Security and Trust (POST 2018), Apr 2018, Thessaloniki, Greece. pp.134-159. ⟨hal-01966871⟩
Accès au texte intégral et bibtex

ref_biblio: Valentina Castiglioni. Trace and Testing Metrics on Nondeterministic Probabilistic Processes. 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⟩. ⟨hal-01966950⟩
Accès au bibtex

ref_biblio: Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Logical Characterization of Differential Privacy via Behavioral Metrics. Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.75-96, ⟨10.1007/978-3-030-02146-7_4⟩. ⟨hal-01966870⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis. On the Additive Capacity Problem for Quantitative Information Flow. 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Sep 2018, Beijing, China. pp.1-19. ⟨hal-01845330⟩
Accès au texte intégral et bibtex

ref_biblio: Lefki Kacem, Catuscia Palamidessi. Geometric Noise for Locally Private Counting Queries. Proceedings of the 13th Workshop on Programming Languages and Analysis for Security (PLAS 2018), 2018, Toronto, Canada. pp.13-16, ⟨10.1145/3264820.3264827⟩. ⟨hal-01966872⟩
Accès au texte intégral et bibtex

ref_biblio: Tomi Kinnunen, Kong Aik Lee, Héctor Delgado, Nicholas Evans, Massimiliano Todisco, et al.. t-DCF: a Detection Cost Function for the Tandem Assessment of Spoofing Countermeasures and Automatic Speaker Verification. Speaker Odyssey 2018 The Speaker and Language Recognition Workshop, Jun 2018, Les Sables d’Olonne, France. ⟨hal-01880306⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi, Marco Romanelli. Feature selection with Rényi min-entropy. Artificial Neural Networks in Pattern Recognition - 8th IAPR TC3 Workshop (ANNPR 2018), Sep 2018, Siena, Italy. pp.226-239. ⟨hal-01830177v2⟩
Accès au texte intégral et bibtex

ref_biblio: Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank D. Valencia. Real-time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. Rewriting Logic and Its Applications - 12th International Workshop, Jun 2018, Thessaloniki, Greece. pp.226--244. ⟨hal-01934953⟩
Accès au texte intégral et bibtex

2017

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi. Information Leakage Games. Decision and Game Theory for Security - 8th International Conference, Oct 2017, Vienna, Austria. pp.437-457, ⟨10.1007/978-3-319-68711-7_23⟩. ⟨hal-01678950⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi. Trading Optimality for Performance in Location Privacy. 11th EAI International Conference on Performance Evaluation Methodologies and Tools, Dec 2017, Venice, Italy. ⟨hal-01678256⟩
Accès au texte intégral et bibtex

ref_biblio: Stefan Haar, Salim Perchy, Frank Valencia. D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. 11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States. ⟨hal-01328189v4⟩
Accès au texte intégral et bibtex

2016

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. Axioms for Information Leakage. 29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16. ⟨hal-01330414⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli. Up-To Techniques for Generalized Bisimulation Metrics. 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⟩. ⟨hal-01335234⟩
Accès au texte intégral et bibtex

ref_biblio: Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi. Slicing Concurrent Constraint Programs. Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016, Edinburgh, United Kingdom. ⟨hal-01421407⟩
Accès au bibtex

ref_biblio: Michell Guzmán, Frank D Valencia. On the Expressiveness of Spatial Constraint Systems . 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⟩. ⟨hal-01418166⟩
Accès au texte intégral et bibtex

ref_biblio: Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia. Deriving Inverse Operators for Modal Logic. Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. pp.214-232, ⟨10.1007/978-3-319-46750-4_13⟩. ⟨hal-01328188v2⟩
Accès au texte intégral et bibtex

2015

ref_biblio: Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Valentina Monreale. Asynchronous Traces and Open Petri Nets. 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⟩. ⟨hal-01285297⟩
Accès au bibtex

ref_biblio: Paolo Baldan, Filippo Bonchi, Kerstan Henning, Barbara König. Towards Trace Metrics via Functor Lifting. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Jun 2015, Nijmegen, Netherlands. ⟨10.4230/LIPIcs.CALCO.2015.35⟩. ⟨hal-01285298⟩
Accès au bibtex

ref_biblio: Filippo Bonchi, Fabio Zanasi, Pawel Sobocinski. Full Abstraction for Signal Flow Graphs. Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩. ⟨hal-01178437v2⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Geo-indistinguishability: A Principled Approach to Location Privacy. 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⟩. ⟨hal-01114241⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Location Privacy via Geo-Indistinguishability. Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2015, Cali, Colombia. pp.28-38. ⟨hal-01271276⟩
Accès au bibtex

ref_biblio: Fabio Gadducci, Francesco Santini, Luis Pino, Frank Valencia. A Labelled Semantics for Soft Concurrent Constraint Programming. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩. ⟨hal-01149227⟩
Accès au texte intégral et bibtex

ref_biblio: Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia. An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic. 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. pp.161-172, ⟨10.1145/2790449.2790520⟩. ⟨hal-01256984⟩
Accès au texte intégral et bibtex

ref_biblio: Yusuke Kawamoto, Thomas Given-Wilson. Quantitative Information Flow for Scheduler-Dependent Systems. The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), Apr 2015, London, United Kingdom. ⟨hal-01114778⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi. Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges. Proceedings of the 4th International Conference on Principles of Security and Trust (POST), 2015, London, United Kingdom. pp.3-7. ⟨hal-01271518⟩
Accès au bibtex

ref_biblio: Salim Perchy, Frank Valencia. Opinions and Beliefs as constraint system operators. Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. pp.1. ⟨hal-01257098⟩
Accès au bibtex

2014

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi, et al.. Additive and multiplicative notions of leakage, and their capacities. 27th Computer Security Foundations Symposium (CSF 2014), Jul 2014, Vienna, Austria. pp.308--322, ⟨10.1109/CSF.2014.29⟩. ⟨hal-00989462⟩
Accès au texte intégral et bibtex

ref_biblio: Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Optimal Geo-Indistinguishable Mechanisms for Location Privacy. 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⟩. ⟨hal-00950479⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. A Predictive Differentially-Private Mechanism for Mobility Traces. PETS 2014 - 14th Privacy Enhancing Technologies Symposium, Jul 2014, Amsterdam, Netherlands. pp.21-41, ⟨10.1007/978-3-319-08506-7_2⟩. ⟨hal-01011260⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu. Generalized bisimulation metrics. CONCUR - 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.32-46, ⟨10.1007/978-3-662-44584-6_4⟩. ⟨hal-01011471⟩
Accès au texte intégral et bibtex

ref_biblio: Tom Chothia, Yusuke Kawamoto, Chris Novakovic. LeakWatch: Estimating Information Leakage from Java Programs. 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⟩. ⟨hal-01097603⟩
Accès au texte intégral et bibtex

ref_biblio: Norman Ferns, Sophia Knight, Doina Precup. Bisimulation for Markov Decision Processes through Families of Functional Expressions. 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⟩. ⟨hal-01098566⟩
Accès au bibtex

ref_biblio: Thomas Given-Wilson. On the Expressiveness of Intensional Communication. 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⟩. ⟨hal-01026301v2⟩
Accès au texte intégral et bibtex

ref_biblio: Thomas Given-Wilson. An Intensional Concurrent Faithful Encoding of Turing Machines. 7th Interaction and Concurrency Experience (ICE 2014), Jun 2014, Berlin, Germany. pp.21-37, ⟨10.4204/EPTCS.166.4⟩. ⟨hal-00987594v3⟩
Accès au texte intégral et bibtex

ref_biblio: Thomas Given-Wilson. Expressiveness via Intensionality and Concurrency. 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⟩. ⟨hal-00999082⟩
Accès au texte intégral et bibtex

ref_biblio: Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositionality Results for Quantitative Information Flow. 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⟩. ⟨hal-01006381v2⟩
Accès au texte intégral et bibtex

ref_biblio: Luis Fernando Pino Duque, Filippo Bonchi, Frank D. Valencia. A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice. 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⟩. ⟨hal-01006382v2⟩
Accès au texte intégral et bibtex

ref_biblio: Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin. Metrics for Differential Privacy in Concurrent Systems. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩. ⟨hal-00879140v2⟩
Accès au texte intégral et bibtex

2013

ref_biblio: Miguel E. Andrés, Nicolás E. Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Geo-Indistinguishability: Differential Privacy for Location-Based Systems. Proceedings of the 20th ACM Conference on Computer and Communications Security, ACM, Nov 2013, Berlin, Germany. pp.901-914, ⟨10.1145/2508859.2516735⟩. ⟨hal-00766821⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Miguel E. Andrés, Nicolás E. Bordenabe, Catuscia Palamidessi. Broadening the Scope of Differential Privacy Using Metrics. The 13th Privacy Enhancing Technologies Symposium, Jul 2013, Bloomington, Indiana, United States. pp.82-102, ⟨10.1007/978-3-642-39077-7⟩. ⟨hal-00767210⟩
Accès au texte intégral et bibtex

ref_biblio: Ehab Elsalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi. A differentially private mechanism of optimal utility for a region of priors. 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⟩. ⟨hal-00760735v2⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Gazeau, Dale Miller, Catuscia Palamidessi. Preserving differential privacy under finite-precision semantics. QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. pp.1-18, ⟨10.4204/EPTCS.117.1⟩. ⟨hal-00780774v2⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi. Quantitative Approaches to Information Protection. 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⟩. ⟨hal-00945678⟩
Accès au bibtex

ref_biblio: Luis Pino, Filippo Bonchi, Frank D. Valencia. Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.263-274, ⟨10.1145/2505879.2505902⟩. ⟨hal-00909394⟩
Accès au bibtex

2012

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith. Measuring Information Leakage using Generalized Gain Functions. Computer Security Foundations, 2012, Cambridge MA, United States. pp.265-279, ⟨10.1109/CSF.2012.26⟩. ⟨hal-00734044⟩
Accès au texte intégral et bibtex

ref_biblio: Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank D. Valencia. Reducing Weak to Strong Bisimilarity in CCP. Fifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩. ⟨hal-00761611⟩
Accès au texte intégral et bibtex

ref_biblio: Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank D. Valencia. Partition Refinement for Bisimilarity in CCP. 27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93. ⟨hal-00641408v3⟩
Accès au texte intégral et bibtex

ref_biblio: Andres Felipe Barco Santa, Sophia Knight, Frank D. Valencia. K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter. 21st Workshop on Functional and Constraint Logic Programming (WFLP2012), May 2012, Nagoya, Japan. ⟨hal-00761679⟩
Accès au texte intégral et bibtex

ref_biblio: Mayla Brusó, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog. Linking Unlinkability. 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⟩. ⟨hal-00760150⟩
Accès au texte intégral et bibtex

ref_biblio: Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou. Interference-Sensitive Preorders for MANETs. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, Sep 2012, London, United Kingdom. pp.189-198. ⟨hal-00760455v2⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Gazeau, Dale Miller, Catuscia Palamidessi. A non-local method for robustness analysis of floating point programs. QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Mar 2012, Tallinn, Estonia. pp.63-76, ⟨10.4204/EPTCS.85.5⟩. ⟨hal-00665995v3⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Giunti, Catuscia Palamidessi, Frank D. Valencia. Hide and New in the Pi-Calculus. 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⟩. ⟨hal-00761118⟩
Accès au texte intégral et bibtex

ref_biblio: Sophia Knight, Radu Mardare, Prakash Panangaden. Combining Epistemic Logic and Hennessy-Milner Logic. 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⟩. ⟨hal-00760967⟩
Accès au texte intégral et bibtex

ref_biblio: Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia. Spatial and Epistemic Modalities in Constraint-Based Process Calculi. 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⟩. ⟨hal-00761116⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi, Marco Stronati. Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems. QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Apr 2012, Tallin, Estonia. pp.92-105, ⟨10.4204/EPTCS.85.7⟩. ⟨hal-00760688⟩
Accès au texte intégral et bibtex

ref_biblio: Lili Xu. Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus. 7th International Symposium on Trustworthy Global Computing (TGC), Sep 2012, Newcastle upon Tyne, United Kingdom. pp.198-212. ⟨hal-00691284v3⟩
Accès au texte intégral et bibtex

ref_biblio: Mu Yang, Vladimiro Sassone, Sardaouna Hamadou. A Game-Theoretic Analysis of Cooperation in Anonymity Networks. Principles of Security and Trust - First International Conference, POST 2012, Mar 2012, Tallinn, Estonia. pp.269-289. ⟨hal-00760445v2⟩
Accès au texte intégral et bibtex

2011

ref_biblio: Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi. Differential Privacy: on the trade-off between Utility and Information Leakage. 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⟩. ⟨inria-00580122v5⟩
Accès au texte intégral et bibtex

ref_biblio: Mário Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Quantitative Information Flow and Applications to Differential Privacy. 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⟩. ⟨hal-00655522⟩
Accès au texte intégral et bibtex

ref_biblio: Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi. On the relation between Differential Privacy and Quantitative Information Flow. 38th International Colloquium on Automata, Languages and Programming - ICALP 2011, 2011, Zurich, Switzerland. pp.60-76, ⟨10.1007/978-3-642-22012-8_4⟩. ⟨inria-00627937⟩
Accès au texte intégral et bibtex

ref_biblio: Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia. Deriving Labels and Bisimilarity for Concurrent Constraint Programming. 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⟩. ⟨hal-00546722⟩
Accès au texte intégral et bibtex

ref_biblio: David Baelde, Romain Beauxis, Samuel Mimram. Liquidsoap: a High-Level Programming Language for Multimedia Streaming. SOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. pp.99-110, ⟨10.1007/978-3-642-18381-2_8⟩. ⟨inria-00585728⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Beauxis, Samuel Mimram. A Non-Standard Semantics for Kahn Networks in Continuous Time. 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⟩. ⟨inria-00616968⟩
Accès au texte intégral et bibtex

ref_biblio: Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi. A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. Analytical and Stochastic Modeling Techniques and Applications (ASMTA), Jun 2011, Venice, Italy. pp.316-330, ⟨10.1007/978-3-642-21713-5_23⟩. ⟨hal-00799156⟩
Accès au texte intégral et bibtex

ref_biblio: Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi. A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks. IFIP Wireless Days Conference, Oct 2011, Niagara Falls, ON, Canada. pp.1-6. ⟨hal-00799168⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Giunti. A type checking algorithm for qualified session types. 7th International Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland. ⟨10.4204/EPTCS.61.7⟩. ⟨hal-00644061⟩
Accès au texte intégral et bibtex

ref_biblio: Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia. Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. 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⟩. ⟨hal-00641433⟩
Accès au texte intégral et bibtex

2010

ref_biblio: Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Information Flow in Interactive Systems. 21th International Conference on Concurrency Theory (CONCUR 2010), Aug 2010, Paris, France. pp.102-116, ⟨10.1007/978-3-642-15375-4_8⟩. ⟨inria-00479672v3⟩
Accès au texte intégral et bibtex

ref_biblio: Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Entropy and Attack Models in Information Flow. 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⟩. ⟨hal-00548212⟩
Accès au texte intégral et bibtex

ref_biblio: Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum. Safe Equivalences for Security Properties. 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⟩. ⟨inria-00479674v2⟩
Accès au texte intégral et bibtex

ref_biblio: Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Probabilistic Information Flow. 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.314-321, ⟨10.1109/LICS.2010.53⟩. ⟨hal-00548200⟩
Accès au texte intégral et bibtex

ref_biblio: Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova. Information Hiding in Probabilistic Concurrent Systems. 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⟩. ⟨hal-00548187⟩
Accès au texte intégral et bibtex

ref_biblio: Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith. Computing the Leakage of Information-Hiding Systems. 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⟩. ⟨hal-00445445v2⟩
Accès au texte intégral et bibtex

ref_biblio: Andrés Aristizábal. Bisimilarity in Concurrent Constraint Programming. 26th International Conference on Logic Programming, ICLP 2010, Jul 2010, Edinburgh, United Kingdom. pp.236-240. ⟨hal-00546857⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi. Compositional modelling of signalling pathways in timed concurrent constraint programming. 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⟩. ⟨hal-00548213⟩
Accès au texte intégral et bibtex

ref_biblio: Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services. Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435. ⟨inria-00510013⟩
Accès au texte intégral et bibtex

ref_biblio: Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi. Reconciling Belief and Vulnerability in Information Flow. 31st IEEE Symposium on Security and Privacy, May 2010, Berleley/Oakland, California, United States. pp.79-92, ⟨10.1109/SP.2010.13⟩. ⟨inria-00548007⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés. Interactive Information Flow. 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⟩. ⟨hal-00548211⟩
Accès au bibtex

ref_biblio: Catuscia Palamidessi. Compositionality of Secure Information Flow. 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⟩. ⟨hal-00548210⟩
Accès au bibtex

2009

ref_biblio: Jesus Aranda, Frank Valencia, Cristian Versari. On the Expressive Power of Restriction and Priorities in CCS with replication. 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⟩. ⟨inria-00430531⟩
Accès au texte intégral et bibtex

ref_biblio: Jesus Aranda, Gérard Assayag, Carlos Olarte, Camilo Rueda, Toro Mauricio, et al.. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩. ⟨inria-00426610⟩
Accès au texte intégral et bibtex

ref_biblio: Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Quantitative Notions of Leakage for One-try Attacks. Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009), May 2009, Oxford, United Kingdom. pp.75-91. ⟨inria-00424852⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. pp.153-166. ⟨inria-00424854⟩
Accès au texte intégral et bibtex

ref_biblio: Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs. PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩. ⟨inria-00426608⟩
Accès au texte intégral et bibtex

ref_biblio: Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab Elsalamouny. Probable Innocence and Independent Knowledge. Formal Aspects of Security and Trust, Nov 2009, Eindhoven, Netherlands. pp.141-156, ⟨10.1007/978-3-642-12459-4_11⟩. ⟨inria-00424853v2⟩
Accès au texte intégral et bibtex

ref_biblio: Hugo Lopez, Carlos Olarte, Jorge Perez. Towards a Unified Framework for Declarative Structured Communications. 2nd PLACES 2009 - Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2009, York, United Kingdom. 15p. ⟨inria-00426609v2⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Olarte, Camilo Rueda. A Declarative Language for Dynamic Multimedia Interaction Systems. 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⟩. ⟨inria-00426607⟩
Accès au texte intégral et bibtex

ref_biblio: Angela Villota, Jesus Aranda, Diaz Juan Francisco. Modelando Sistemas de Membranas en ntcc. XXXV Latin American Informatics Conference, Sep 2009, Pelotas, Brazil. ⟨inria-00430537⟩
Accès au texte intégral et bibtex

2008

ref_biblio: Jesus Aranda, Perez Jorge, Camilo Rueda, Frank Valencia. Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programmin. Logic Programming, Dec 2008, Udine, Italy. ⟨10.1007/978-3-540-89982-2_57⟩. ⟨inria-00430533⟩
Accès au texte intégral et bibtex

ref_biblio: Abhishek Bhowmick, Catuscia Palamidessi. Bounds on the leakage of the input's distribution in information-hiding protocols. Fourth Symposium on Trustworthy Global Computing (TGC), 2008, France. pp.36--51. ⟨hal-00444579⟩
Accès au texte intégral et bibtex

ref_biblio: Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Compositional Methods for Information-Hiding. Foundations of Software Science and Computation Structures (FOSSACS), 2008, Budapest, Hungary. ⟨10.1007/978-3-540-78499-9_31⟩. ⟨inria-00349227⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Olarte, Frank D. Valencia. The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security. 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM, Jul 2008, Valencia, Spain. pp.8-19, ⟨10.1145/1389449.1389452⟩. ⟨inria-00349353⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Olarte, Frank D. Valencia. Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security. 23rd Annual ACM Symposium on Applied Computing, ACM, Mar 2008, Fortaleza, Brazil. ⟨inria-00201497⟩
Accès au texte intégral et bibtex

2007

ref_biblio: Jesus Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank Valencia. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. 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⟩. ⟨inria-00201547⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Formal Approaches to Information-Hiding (Tutorial). Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. pp.347-362, ⟨10.1007/978-3-540-78663-4_23⟩. ⟨inria-00261827⟩
Accès au texte intégral et bibtex

ref_biblio: Diletta Cacciagrano, Flavio Corradini, Jesus Aranda, Frank Valencia. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07), Sep 2007, Lisbon, Portugal. pp.58-71. ⟨inria-00201502⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Probability of Error in Information-Hiding Protocols. 20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. pp.341-354, ⟨10.1109/CSF.2007.13⟩. ⟨inria-00200957⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi. Making Random Choices Invisible to the Scheduler. CONCUR'07, Sep 2007, Lisboa, Portugal. ⟨10.1007/978-3-540-74407-8_4⟩. ⟨inria-00200967⟩
Accès au texte intégral et bibtex

ref_biblio: Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank D. Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. pp.271--285, ⟨10.1007/978-3-540-74610-2_19⟩. ⟨inria-00201065⟩
Accès au texte intégral et bibtex

ref_biblio: Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina. A Probabilistic Applied Pi-Calculus. 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⟩. ⟨inria-00201070⟩
Accès au texte intégral et bibtex

ref_biblio: Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu. Model checking the probabilistic pi-calculus. 4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. pp.169-178, ⟨10.1109/QEST.2007.27⟩. ⟨inria-00201069⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Olarte, Catuscia Palamidessi, Frank D. Valencia. Universal Timed Concurrent Constraint Programming. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. pp.464-465, ⟨10.1007/978-3-540-74610-2_47⟩. ⟨inria-00201066⟩
Accès au texte intégral et bibtex

ref_biblio: Peng Wu, Catuscia Palamidessi, Huimin Lin. Symbolic Bisimulation for Probabilistic Systems. 4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. pp.179-188, ⟨10.1109/QEST.2007.46⟩. ⟨inria-00201068⟩
Accès au texte intégral et bibtex

2006

ref_biblio: Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia. Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi. 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⟩. ⟨inria-00239497⟩
Accès au texte intégral et bibtex

ref_biblio: Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Fair Pi. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), Aug 2006, Bonn, Germany. pp.3-26, ⟨10.1016/j.entcs.2007.04.010⟩. ⟨inria-00200937⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Anonymity Protocols as Noisy Channels. 2nd Symposium on Trustworthy Global Computing (TGC), Nov 2006, Lucca, Italy. pp.281-300, ⟨10.1007/978-3-540-75336-0_18⟩. ⟨inria-00201110⟩
Accès au texte intégral et bibtex

ref_biblio: Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia. A Declarative Framework for Security: Secure Concurrent Constraint Programming. 22nd International Conference on logic Programming (ICLP), Sandro Etalle and Miroslaw Truszczynski, Aug 2006, Seattle, United States. pp.449-450, ⟨10.1007/11799573_43⟩. ⟨inria-00201148⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi. Probabilistic and nondeterministic aspects of Anonymity. 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⟩. ⟨inria-00201106⟩
Accès au texte intégral et bibtex

ref_biblio: Catuscia Palamidessi, Vijay Saraswat, Frank D. Valencia, Bjorn Victor. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. pp.59-68, ⟨10.1109/LICS.2006.39⟩. ⟨inria-00201096⟩
Accès au texte intégral et bibtex

ref_biblio: Sylvain Pradalier, Catuscia Palamidessi. Expressiveness of probabilistic \pi-calculi. 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL), Apr 2006, Vienna, Austria. ⟨10.1016/j.entcs.2006.07.015⟩. ⟨inria-00201088⟩
Accès au texte intégral et bibtex

2005

ref_biblio: Mohit Bhargava, Catuscia Palamidessi. Probabilistic Anonymity. CONCUR'05, Aug 2005, San Francisco, United States. pp.171-185, ⟨10.1007/11539452_16⟩. ⟨inria-00201101⟩
Accès au texte intégral et bibtex

ref_biblio: Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Separation of synchronous and asynchronous communication via testing. 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⟩. ⟨inria-00201107⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi. A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange. First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. pp.146-162, ⟨10.1007/11580850_9⟩. ⟨inria-00201111⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi. Probable Innocence Revisited. Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Jul 2005, Newcastle Upon Tyne, United Kingdom. pp.142-157. ⟨inria-00201109⟩
Accès au texte intégral et bibtex

ref_biblio: Yuxin Deng, Catuscia Palamidessi, Jun Pang. Weak Probabilistic Anonymity. 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⟩. ⟨inria-00200912⟩
Accès au texte intégral et bibtex

ref_biblio: Yuxin Deng, Catuscia Palamidessi. Axiomatizations for probabilistic finite-state behaviors. 8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2005), Apr 2005, Edinburgh, United Kingdom. pp.110-124, ⟨10.1007/b106850⟩. ⟨inria-00201123⟩
Accès au texte intégral et bibtex

ref_biblio: Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang. Metrics for Action-labelled Quantitative Transition Systems. 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⟩. ⟨inria-00201087⟩
Accès au texte intégral et bibtex

ref_biblio: Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi. Expressiveness via Leader Election Problems. 4th International Symposium on Formal Methods for Components and Objects (FMCO), Nov 2005, Amsterdam, Netherlands. pp.172-194, ⟨10.1007/11804192_9⟩. ⟨inria-00201124⟩
Accès au texte intégral et bibtex

ref_biblio: Axelle Ziegler, Dale Miller, Catuscia Palamidessi. A Congruence Format for Name-passing Calculi. 2nd Workshop on Structural Operational Semantics (SOS'05), Jul 2005, Lisboa, Portugal. pp.169-189, ⟨10.1016/j.entcs.2005.09.032⟩. ⟨inria-00201085⟩
Accès au texte intégral et bibtex

Book sections

2021

ref_biblio: Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi. Establishing the Price of Privacy in Federated Data Trading. 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⟩. ⟨hal-03589837⟩
Accès au bibtex

2020

ref_biblio: Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli. Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. 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⟩. ⟨hal-03091740⟩
Accès au texte intégral et bibtex

2019

ref_biblio: Mário S. Alvim, Sophia Knight, Frank D. Valencia. Toward a Formal Model for Group Polarization in Social Networks. 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⟩. ⟨hal-02410747⟩
Accès au bibtex

ref_biblio: Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank D. Valencia. Make Puzzles Great Again. 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⟩. ⟨hal-02410767⟩
Accès au bibtex

ref_biblio: Konstantinos Chatzikokolakis, Geoffrey Smith. Refinement Metrics for Quantitative Information Flow. 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⟩. ⟨hal-02350777⟩
Accès au texte intégral et bibtex

ref_biblio: Natasha Fernandes, Kacem Lefki, Catuscia Palamidessi. Utility-Preserving Privacy Mechanisms for Counting Queries. 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⟩. ⟨hal-02169218⟩
Accès au bibtex

2017

ref_biblio: Konstantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi, Anna Pazii. Methods for Location Privacy: A comparative overview. 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⟩. ⟨hal-01421457v2⟩
Accès au texte intégral et bibtex

2015

ref_biblio: Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi. A Declarative View of Signaling Pathways. 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. ⟨hal-01271650⟩
Accès au bibtex

2014

ref_biblio: Ehab Elsalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi. Generalized differential privacy: regions of priors that admit robust optimal mechanisms. 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⟩. ⟨hal-01006380⟩
Accès au texte intégral et bibtex

2011

ref_biblio: Giuseppe Longo, Catuscia Palamidessi, Paul Thierry. Some Bridging Results and Challenges in Classical, Quantum and Computational Randomness. Hector Zenil. Randomness Through Computation, World Scientific, pp.NA, 2011. ⟨hal-00445553v3⟩
Accès au texte intégral et bibtex

ref_biblio: Mauricio Toro, Camilo Rueda, Frank Valencia, Gerardo Sarria, Carlos Olarte. Concurrent constraints models of music interaction. Constraint Programming in Music, Wiley, pp.133, 2011. ⟨hal-00662257⟩
Accès au texte intégral et bibtex

2010

ref_biblio: Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia. Concurrent and Reactive Constraint Programming. 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⟩. ⟨hal-00545256⟩
Accès au texte intégral et bibtex

2009

ref_biblio: Carlos Olarte, Camilo Rueda, Frank D. Valencia. Concurrent Constraint Calculi: a Declarative Paradigm for Modeling Music Systems.. Gérard Assayag and Andrew Gerzso. New Computational Paradigms for Computer Music, Delatour France / Ircam-Centre Pompidou, 2009. ⟨inria-00429592⟩
Accès au texte intégral et bibtex

2008

ref_biblio: Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia. On the asynchronous nature of the asynchronous π-calculus. 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⟩. ⟨inria-00349226v2⟩
Accès au texte intégral et bibtex

2005

ref_biblio: Yuxin Deng, Catuscia Palamidessi, Jun Pang. Compositional Reasoning for Probabilistic Finite-State Behaviors. 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⟩. ⟨inria-00201100⟩
Accès au texte intégral et bibtex

Special issue

2019

ref_biblio: Anuj Dawar, Anca Muscholl, Catuscia Palamidessi. Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017). Logical Methods in Computer Science, 2019. ⟨hal-01997414⟩
Accès au bibtex

Books

2020

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, et al.. The Science of Quantitative Information Flow. Springer, pp.XXVIII, 478, 2020, ⟨10.1007/978-3-319-96131-6⟩. ⟨hal-01971490⟩
Accès au bibtex

2019

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank Valencia (Dir.). 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. 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⟩. ⟨hal-02411252⟩
Accès au bibtex

2018

ref_biblio: Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia (Dir.). Special Issue: Best Papers Presented at ICTAC 2015. Cambridge University Press, In press, Mathematical Structures in Computer Science. ⟨hal-01837891⟩
Accès au bibtex

ref_biblio: Catuscia Palamidessi (Dir.). Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016. Palamidessi, Catuscia; Silva, Alexandra; Shankar, Natarajan. IEEE, 2018. ⟨hal-01995888⟩
Accès au bibtex

2015

ref_biblio: Miguel E. Andrés, Geoffrey Smith, Catuscia Palamidessi (Dir.). Special Issue on Quantitative Information Flow. Andrés, Miguel; Palamidessi, Catuscia; Smith, Geoffrey. Cambridge University Press, 2015, ⟨10.1017/S0960129513000583⟩. ⟨hal-01271678⟩
Accès au bibtex

ref_biblio: Martin Leucker, Camilo Rueda, Frank Valencia (Dir.). Theoretical Aspects of Computing - ICTAC 2015. Springer, 9399, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩. ⟨hal-01257171⟩
Accès au bibtex

ref_biblio: Catuscia Palamidessi (Dir.). Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS). Palamidessi, Catuscia. 2015. ⟨hal-01995887⟩
Accès au bibtex

2014

ref_biblio: Erika Ábrahám, Catuscia Palamidessi (Dir.). Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Erika Abraham; Catuscia Palamidessi. Springer, 8461, 2014, Lecture Notes in Computer Science. ⟨hal-01271977⟩
Accès au bibtex

ref_biblio: Erika Ábrahám, Catuscia Palamidessi. Formal Techniques for Distributed Objects, Components, and Systems. Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩. ⟨hal-01398026⟩
Accès au bibtex

ref_biblio: Sibylle Fröschle, Frank D. Valencia. 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). Sibylle Fröschle and Frank D. Valencia. Cambridge University Press, 2014, Mathematical Structures in Computer Science, ⟨10.1017/S0960129514000371⟩. ⟨hal-01116286⟩
Accès au bibtex

ref_biblio: Bas Luttik, Frank D. Valencia. 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). Bas Luttik and Frank D. Valencia. Cambridge University Press, 2014, Mathematical Structures in Computer Science, ⟨10.1017/S0960129514000607⟩. ⟨hal-01116285⟩
Accès au bibtex

2013

ref_biblio: Catuscia Palamidessi, Mark D. Ryan (Dir.). Proceedings of the 7th International Symposium on Trustworthy Global Computing (TGC). 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⟩. ⟨hal-00778538⟩
Accès au bibtex

2012

ref_biblio: Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi (Dir.). Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2). Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier B.V., pp.125, 2012. ⟨hal-00778536⟩
Accès au bibtex

ref_biblio: Sebastian Mödersheim, Catuscia Palamidessi (Dir.). Proceedings of the Joint Workshop on Theory of Security and Applications (TOSCA). 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⟩. ⟨hal-00778535⟩
Accès au bibtex

2011

ref_biblio: Konstantinos Chatzikokolakis, Véronique Cortier (Dir.). Proceedings of the 8th International Workshop on Security Issues in Concurrency. 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⟩. ⟨hal-00641020⟩
Accès au bibtex

ref_biblio: Bas Luttik, Frank D. Valencia (Dir.). Proceedings 18th International Workshop on Expressiveness in Concurrency. Bas Luttik and Frank Valencia. Open Publishing Association, 64, pp.1-131, 2011, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.64⟩. ⟨hal-00655577⟩
Accès au bibtex

ref_biblio: Catuscia Palamidessi, Alma Riska. Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems. Catuscia Palamidessi and Alma Riska. IEEE, 276 p., 2011, 978-1-4577-0973-9. ⟨hal-00655524⟩
Accès au bibtex

2010

ref_biblio: Sibylle Fröschle (Dir.). Proceedings 17th International Workshop on Expressiveness in Concurrency. Electronic Proceedings in Theoretical Computer Science, 2010, ⟨10.4204/EPTCS.41⟩. ⟨hal-00547314⟩
Accès au bibtex

ref_biblio: Daniele Gorla, Catuscia Palamidessi (Dir.). Special Issue dedicated to a selection of the best papers presented at SECCO'07. Journal of Computer Security 18(2).. IOS Press, pp.187-377, 2010, ⟨10.3233/JCS-2010-0359⟩. ⟨hal-00548217⟩
Accès au bibtex

2009

ref_biblio: Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi (Dir.). Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics. Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier, 249, pp.1-490, 2009, Electronic Notes in Theoretical Computer Science. ⟨hal-00772697⟩
Accès au bibtex

ref_biblio: Marco Carbone, Pawel Sobocinski, Frank D. Valencia. Festschrift for Mogens Nielsen's 60th Birthday. Elsevier, pp.4001-4168, 2009, Theoretical Computer Science, 0304-3975. ⟨10.1016/j.tcs.2009.06.007⟩. ⟨hal-00779099⟩
Accès au bibtex

ref_biblio: Maurizio Gabbrielli, Moreno Falaschi, Catuscia Palamidessi. Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi. Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science. ⟨hal-00772696⟩
Accès au bibtex

ref_biblio: Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, et al.. SOFSEM 2009: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science. Springer, 5404, pp.1-670, 2009, Lecture Notes in Computer Science, 978-3-540-95890-1. ⟨10.1007/978-3-540-95891-8⟩. ⟨hal-00772695⟩
Accès au bibtex

Reports

2023

ref_biblio: Nadjib Achir, Aline Carneiro Viana, Marcelo Dias de Amorim, Fernando Dias de Mello Silva, Guillaume Farhi-Rivasseau, et al.. D3.1: Sanitization strategies and utility results. D3.1, Sorbonne Université (Paris, France); Inria Saclay - Île de France; La Rochelle Université, France. 2023. ⟨hal-04991474⟩
Accès au texte intégral et bibtex

2018

ref_biblio: Ali Kassem, Gergely Acs, Claude Castelluccia, Catuscia Palamidessi. Differential Inference Testing A Practical Approach to Evaluate Anonymized Data. [Research Report] INRIA. 2018, pp.1-21. ⟨hal-01681014v2⟩
Accès au texte intégral et bibtex

2010

ref_biblio: Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services. [Research Report] RR-7247, INRIA. 2010. ⟨inria-00472736⟩
Accès au texte intégral et bibtex

Theses

2024

ref_biblio: Karima Makhlouf. Advancing Ethical and Responsible AI: Exploring Fairness, Privacy, and Explainability through Causal Perspectives. Artificial Intelligence [cs.AI]. École polytechnique, 2024. English. ⟨NNT : 2024IPPAX057⟩. ⟨tel-04775522⟩
Accès au texte intégral et bibtex

2023

ref_biblio: Rūta Binkytė. Advancing Ethical AI: Methods for fairness enhancement leveraging on causality and under privacy constraints. Computer Science [cs]. Ecole Polytechnique (EDX), 2023. English. ⟨NNT : 2023IPPAX145⟩. ⟨tel-04407125⟩
Accès au texte intégral et bibtex

ref_biblio: Sayan Biswas. Comprendre et optimiser le compromis entre vie privée et utilité d'un point de vue fondamental. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAX092⟩. ⟨tel-04407120⟩
Accès au texte intégral et bibtex

ref_biblio: Ganesh del Grosso Guzman. Leakage of Sensitive Data from Deep Neural Networks. Statistics [math.ST]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAX159⟩. ⟨tel-04555564⟩
Accès au texte intégral et bibtex

ref_biblio: Federica Granese. Securing Machine Learning Algorithms. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris; Università degli studi La Sapienza (Rome), 2023. English. ⟨NNT : 2023IPPAX029⟩. ⟨tel-04407139v2⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Pinzón. Exploring fairness and privacy in machine learning. Computer Science [cs]. Ecole Polytechnique, 2023. English. ⟨NNT : 2023IPPAX126⟩. ⟨tel-04407152⟩
Accès au texte intégral et bibtex

2017

ref_biblio: Michell Guzmán. On the expressiveness of spatial constraint systems. Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX064⟩. ⟨tel-01674956v3⟩
Accès au texte intégral et bibtex

2015

ref_biblio: Marco Stronati. Designing Location Privacy Mechanisms for flexibility over time and space. Cryptography and Security [cs.CR]. Ecole Polytechnique, 2015. English. ⟨NNT : ⟩. ⟨tel-01243295⟩
Accès au texte intégral et bibtex

ref_biblio: Lili Xu. Formal Verification of Differential Privacy in Concurrent Systems. Cryptography and Security [cs.CR]. Ecole Polytechnique (Palaiseau, France), 2015. English. ⟨NNT : ⟩. ⟨tel-01384363⟩
Accès au texte intégral et bibtex

2014

ref_biblio: Nicolás E. Bordenabe. Mesurer la confidentialité avec des métriques de discernabilité: définitions, mécanismes et confidentialité des informations liées à la localisation. Cryptographie et sécurité [cs.CR]. École Polytechnique, 2014. Français. ⟨NNT : ⟩. ⟨tel-01098088⟩
Accès au texte intégral et bibtex

ref_biblio: Thomas Nowak. Transient Behavior of Distributed Algorithms and Digital Circuit Models. Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English. ⟨NNT : ⟩. ⟨pastel-01061470⟩
Accès au texte intégral et bibtex

ref_biblio: Luis Fernando Pino Duque. Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming. Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩. ⟨tel-01111979⟩
Accès au texte intégral et bibtex

2013

ref_biblio: Ivan Gazeau. Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations. Analyse numérique [cs.NA]. Ecole Polytechnique X, 2013. Français. ⟨NNT : ⟩. ⟨pastel-00913469⟩
Accès au texte intégral et bibtex

ref_biblio: Sophia Knight. The Epistemic View of Concurrency Theory. Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩. ⟨tel-00940413⟩
Accès au texte intégral et bibtex

2012

ref_biblio: Andrés Aristizábal. Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩. ⟨pastel-00756952⟩
Accès au texte intégral et bibtex

2011

ref_biblio: Mário S. Alvim. Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications. Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩. ⟨tel-00639948v3⟩
Accès au texte intégral et bibtex

ref_biblio: Miguel Andrés. Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems. Computation and Language [cs.CL]. Radboud University, Nijmegen, 2011. English. ⟨NNT : ⟩. ⟨tel-00655506⟩
Accès au texte intégral et bibtex

2010

ref_biblio: Christelle Braun. Quantitative Approaches to Information Hiding. Other [cs.OH]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩. ⟨tel-00527367⟩
Accès au texte intégral et bibtex

2009

ref_biblio: Jesus Aranda. On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus. Modeling and Simulation. Ecole Polytechnique X; Universidad del Valle, 2009. English. ⟨NNT : ⟩. ⟨tel-00430495⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Beauxis. Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols. Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩. ⟨tel-00772693⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Olarte. Universal Temporal Concurrent Constraint Programming. Modeling and Simulation. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩. ⟨tel-00430446⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

2025

ref_biblio: Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia. The Sound of Silence in Social Networks. 2025. ⟨hal-04950628⟩
Accès au texte intégral et bibtex

2024

ref_biblio: Rūta Binkytė, Sami Zhioua, Yassine Turki. Dissecting Causal Biases. 2024. ⟨hal-04329098v2⟩
Accès au texte intégral et bibtex

ref_biblio: Raluca Panainte, Yassine Turki, Sami Zhioua. A Web Application Software for Causal-based Machine Learning Discrimination Estimation. 2024. ⟨hal-04355882v2⟩
Accès au texte intégral et bibtex

2023

ref_biblio: Rūta Binkytė, Ljupcho Grozdanovski, Sami Zhioua. On the Need and Applicability of Causality for Fair Machine Learning. 2023. ⟨hal-04329115v1⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Pinzón, Kangsoo Jung. Fast Python sampler for the von Mises Fisher distribution. 2023. ⟨hal-04004568v3⟩
Accès au texte intégral et bibtex

ref_biblio: Sami Zhioua, Rūta Binkytė. Shedding light on underrepresentation and Sampling Bias in machine learning. 2023. ⟨hal-04329092⟩
Accès au texte intégral et bibtex

2022

ref_biblio: Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia. Counting and Computing Join-Endomorphisms in Lattices (Revisited). 2022. ⟨hal-03864755⟩
Accès au bibtex

ref_biblio: Santiago Quintero, Carlos Pinzón, Sergio Ramírez, Frank Valencia. On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge. 2022. ⟨hal-03864537⟩
Accès au bibtex

ref_biblio: Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi. Minimizing Information Leakage under Padding Constraints. 2022. ⟨hal-03911552⟩
Accès au bibtex

2021

ref_biblio: Natalia Díaz-Rodríguez, Rūta Binkytė-Sadauskienė, Wafae Bakkali, Sannidhi Bookseller, Paola Tubaro, et al.. 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. 2021. ⟨hal-03228983⟩
Accès au bibtex

2020

ref_biblio: Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso. The Bayes Security Measure. 2020. ⟨hal-03091416⟩
Accès au bibtex

ref_biblio: Sophia Knight, Prakash Panangaden, Frank Valencia. Computing with Epistemic and Spatial Modalities. 2020. ⟨hal-03148149⟩
Accès au bibtex

ref_biblio: Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi. Survey on Causal-based Machine Learning Fairness Notions. 2020. ⟨hal-03091428⟩
Accès au bibtex

2010

ref_biblio: Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi. Differential Privacy versus Quantitative Information Flow. 2010. ⟨hal-00548214⟩
Accès au texte intégral et bibtex

ref_biblio: Luis Pino. Analysis of the reachability problem in fragments of the Pi-calculus. 2010. ⟨hal-00546849⟩
Accès au texte intégral et bibtex