Major publications by the team in recent years
  • 1M. Alvim, M. Andrés, K. Chatzikokolakis, C. Palamidessi.

    On the relation between Differential Privacy and Quantitative Information Flow, in: 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), Zurich, Switzerland, J. S. Luca Aceto (editor), Lecture Notes in Computer Science, Springer, 2011, vol. 6756, pp. 60-76. [ DOI : 10.1007/978-3-642-22012-8_4 ]

  • 2M. Alvim, K. Chatzikokolakis, C. Palamidessi, G. Smith.

    Measuring Information Leakage using Generalized Gain Functions, in: Computer Security Foundations, Cambridge MA, United States, IEEE, 2012, pp. 265-279. [ DOI : 10.1109/CSF.2012.26 ]

  • 3M. Andrés, N. Bordenabe, K. Chatzikokolakis, C. Palamidessi.

    Geo-Indistinguishability: Differential Privacy for Location-Based Systems, in: 20th ACM Conference on Computer and Communications Security, Berlin, Allemagne, ACM Press, 2013, pp. 901-914, DGA, Inria large scale initiative CAPPRIS. [ DOI : 10.1145/2508859.2516735 ]

  • 4A. Aristizábal, F. Bonchi, C. Palamidessi, L. Pino, D. Valencia.

    Deriving Labels and Bisimilarity for Concurrent Constraint Programming, in: FOSSACS 2011 : 14th International Conference on Foundations of Software Science and Computational Structures, Saarbrücken, Germany, M. Hofmann (editor), Lecture Notes in Computer Science, Springer, March 2011, vol. 6604, pp. 138-152. [ DOI : 10.1007/ISBN 978-3-642-19804-5 ]

  • 5N. E. Bordenabe, K. Chatzikokolakis, C. Palamidessi.

    Optimal Geo-Indistinguishable Mechanisms for Location Privacy, in: CCS - 21st ACM Conference on Computer and Communications Security, Scottsdale, Arizona, United States, G.-J. Ahn, M. Yung, N. Li (editors), Proceedings of the 21st ACM Conference on Computer and Communications Security, ACM, November 2014, pp. 251-262. [ DOI : 10.1145/2660267.2660345 ]

  • 6K. Chatzikokolakis, M. Andrés, N. Bordenabe, C. Palamidessi.

    Broadening the Scope of Differential Privacy Using Metrics, in: The 13th Privacy Enhancing Technologies Symposium, Bloomington, Indiana, États-Unis, E. De Cristofaro, M. Wright (editors), Springer, 2013, vol. 7981, pp. 82-102, DGA, Inria large scale initiative CAPPRIS. [ DOI : 10.1007/978-3-642-39077-7 ]

  • 7K. Chatzikokolakis, C. Palamidessi, P. Panangaden.

    Anonymity Protocols as Noisy Channels, in: Information and Computation, 2008, vol. 206, no 2–4, pp. 378–401. [ DOI : 10.1016/j.ic.2007.07.003 ]

  • 8K. Chatzikokolakis, C. Palamidessi, P. Panangaden.

    On the Bayes risk in information-hiding protocols, in: Journal of Computer Security, 2008, vol. 16, no 5, pp. 531–571. [ DOI : 10.3233/JCS-2008-0333 ]

  • 9S. Knight, C. Palamidessi, P. Panangaden, F. D. Valencia.

    Spatial and Epistemic Modalities in Constraint-Based Process Calculi, in: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, United Kingdom, September 2012, vol. 7454, pp. 317-332. [ DOI : 10.1007/978-3-642-32940-1 ]

  • 10C. Palamidessi, V. A. Saraswat, F. D. Valencia, B. Victor.

    On the Expressiveness of Linearity vs Persistence in the Asynchronous pi-calculus, in: Proceedings of the Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), IEEE Computer Society, 2006, pp. 59–68.

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12M. S. Alvim, M. E. Andrés, K. Chatzikokolakis, P. Degano, C. Palamidessi.

    On the information leakage of differentially-private mechanisms, in: Journal of Computer Security, 2015, vol. 23, no 4, pp. 427-469. [ DOI : 10.3233/JCS-150528 ]

  • 13K. Chatzikokolakis, C. Palamidessi, M. Stronati.

    Constructing elastic distinguishability metrics for location privacy, in: Proceedings on Privacy Enhancing Technologies, June 2015, vol. 2015, no 2, pp. 156-170. [ DOI : 10.1515/popets-2015-0023 ]

  • 14M. Falaschi, C. Olarte, C. Palamidessi.

    Abstract Interpretation of Temporal Concurrent Constraint Programs, in: Theory and Practice of Logic Programming, 2015, vol. 15, no 3, pp. 312-357.

  • 15L. Pino, A. Aristizabal, F. Bonchi, F. Valencia.

    Weak CCP bisimilarity with strong procedures, in: Science of Computer Programming, 2015, vol. 100, pp. 84-104. [ DOI : 10.1016/j.scico.2014.09.007 ]

  • 16L. F. Pino Duque, F. Bonchi, F. Valencia.

    Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming, in: Science of Computer Programming, 2015, vol. 111, pp. 135-155. [ DOI : 10.1016/j.scico.2014.12.003 ]


Invited Conferences

  • 17K. Chatzikokolakis, C. Palamidessi, M. Stronati.

    Geo-indistinguishability: A Principled Approach to Location Privacy, in: ICDCIT 2015 - Proceedings of the 11th International Conference on Distributed Computing and Internet Technology, Bhubaneswar, India, G. B. Raja Natarajan, M. R. Patra (editors), Lecture Notes in Computer Science, Springer, February 2015, vol. 8956, pp. 49-72. [ DOI : 10.1007/978-3-319-14977-6_4 ]

  • 18K. Chatzikokolakis, C. Palamidessi, M. Stronati.

    Location Privacy via Geo-Indistinguishability, in: Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC), Cali, Colombia, M. Leucker, C. Rueda, F. D. Valencia (editors), Lectures Notes in Computer Science, Springer, 2015, vol. 9399, pp. 28-38.

  • 19C. Palamidessi.

    Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges, in: Proceedings of the 4th International Conference on Principles of Security and Trust (POST), London, United Kingdom, R. Focardi, A. C. Myers (editors), Lecture Notes in Computer Science, Springer, 2015, vol. 9036, pp. 3-7.


International Conferences with Proceedings

  • 20J. Arias, M. Guzmán, C. Olarte.

    A Symbolic Model for Timed Concurrent Constraint Programming, in: Ninth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Brasília D.F., Brazil, M. Ayala-Rincón, I. Mackie (editors), Electronic Notes in Theoretical Computer Science, Elsevier, 2015, vol. 312, pp. 161-177. [ DOI : 10.1016/j.entcs.2015.04.010 ]

  • 21F. Gadducci, F. Santini, L. Pino, F. Valencia.

    A Labelled Semantics for Soft Concurrent Constraint Programming, in: Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2015), Grenoble, France, T. Holvoet, M. Viroli (editors), Lecture Notes in Computer Science, Springer, June 2015, vol. 9037, pp. 133-149. [ DOI : 10.1007/978-3-319-19282-6_9 ]

  • 22S. Haar, S. Perchy, C. Rueda, F. Valencia.

    An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic, in: 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy, E. Albert, M. Falaschi (editors), ACM SIGPLAN, July 2015, pp. 161-172. [ DOI : 10.1145/2790449.2790520 ]

  • 23Y. Kawamoto, T. Given-Wilson.

    Quantitative Information Flow for Scheduler-Dependent Systems, in: The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), London, United Kingdom, Electronic Proceedings in Theoretical Computer Science, April 2015, forthcoming.

  • 24S. Perchy, F. Valencia.

    Opinions and Beliefs as constraint system operators, in: Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, M. D. Vos, T. Eiter, Y. Lierler, F. Toni (editors), August 2015, vol. 1, 1 p, Appears as Abstract Paper at the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015).


Scientific Books (or Scientific Book chapters)

  • 25M. E. Andrés, G. Smith, C. Palamidessi.

    Special Issue on Quantitative Information Flow, Mathematical Structures in Computer Science, Cambridge University Press, 2015, vol. 25, no 2. [ DOI : 10.1017/S0960129513000583 ]

  • 26D. Chiarugi, M. Falaschi, C. Palamidessi.

    A Declarative View of Signaling Pathways, in: Programming Languages with Applications to Biology and Security, C. Bodei, G. L. Ferrari, C. Priami (editors), Lecture Notes in Computer Science, Springer, 2015, vol. 9465, pp. 183-201.

  • 27M. Leucker, C. Rueda, F. Valencia.

    Theoretical Aspects of Computing - ICTAC 2015, Springer, October 2015, vol. 9399. [ DOI : 10.1007/978-3-319-25150-9 ]


Other Publications

  • 28M. Guzman, S. Haar, S. Perchy, C. Rueda, F. Valencia.

    Space and Extrusion in Epistemic Concurrent Constraint Systems, January 2016, Submitted to the Journal of Logical and Algebraic Methods in Programming.

References in notes