EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1M. 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 ]

    https://hal.inria.fr/hal-00940425
  • 2M. S. Alvim, K. Chatzikokolakis, A. Mciver, C. Morgan, C. Palamidessi, G. Smith.

    Additive and multiplicative notions of leakage, and their capacities, in: 27th Computer Security Foundations Symposium (CSF 2014), Vienna, Austria, IEEE, July 2014, pp. 308–322. [ DOI : 10.1109/CSF.2014.29 ]

    https://hal.inria.fr/hal-00989462
  • 3M. 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 ]

    http://hal.inria.fr/hal-00734044
  • 4M. 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 ]

    http://hal.inria.fr/hal-00766821
  • 5A. 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 ]

    https://hal.archives-ouvertes.fr/hal-00546722
  • 6N. 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 ]

    https://hal.inria.fr/hal-00950479
  • 7K. 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 ]

    http://hal.inria.fr/hal-00767210
  • 8K. 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 ]

    https://hal.inria.fr/hal-01270197
  • 9M. Guzman, S. Haar, S. Perchy, C. Rueda, F. Valencia.

    Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion, in: Journal of Logical and Algebraic Methods in Programming, September 2016. [ DOI : 10.1016/j.jlamp.2016.09.001 ]

    https://hal.inria.fr/hal-01257113
  • 10S. 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 ]

    http://hal.inria.fr/hal-00761116
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 11S. Perchy.

    Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes, Université Paris-Saclay, October 2016.

    https://hal.inria.fr/tel-01413970

Articles in International Peer-Reviewed Journals

  • 12K. Chatzikokolakis, C. Palamidessi, C. Braun.

    Compositional methods for information-hiding, in: Mathematical Structures in Computer Science, September 2016, vol. 26, no 6, pp. 908-932. [ DOI : 10.1017/S0960129514000292 ]

    https://hal.inria.fr/hal-01006384
  • 13E. Elsalamouny, S. Gambs.

    Differential Privacy Models for Location- Based Services, in: Transactions on Data Privacy, 2016, vol. 9, no 1, pp. 15 - 48.

    https://hal.inria.fr/hal-01418136
  • 14I. Gazeau, D. Miller, C. Palamidessi.

    Preserving differential privacy under finite-precision semantics, in: Journal of Theoretical Computer Science (TCS), 2016.

    https://hal.inria.fr/hal-01390927
  • 15M. Guzman, S. Haar, S. Perchy, C. Rueda, F. Valencia.

    Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion, in: Journal of Logical and Algebraic Methods in Programming, September 2016. [ DOI : 10.1016/j.jlamp.2016.09.001 ]

    https://hal.inria.fr/hal-01257113
  • 16S. Hamadou, C. Palamidessi, V. Sassone.

    Quantifying Leakage in the Presence of Unreliable Sources of Information, in: Journal of Computer and System Sciences, 2017, forthcoming.

    https://hal.inria.fr/hal-01421417

International Conferences with Proceedings

  • 17M. S. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, G. Smith.

    Axioms for Information Leakage, in: 29th Computer Security Foundations Symposium (CSF 2016), Lisbon, Portugal, IEEE, June 2016, 16 p.

    https://hal.inria.fr/hal-01330414
  • 18K. Chatzikokolakis, C. Palamidessi, V. Vignudelli.

    Up-To Techniques for Generalized Bisimulation Metrics, in: 27th International Conference on Concurrency Theory (CONCUR 2016), Québec City, Canada, Leibniz International Proceedings in Informatics (LIPIcs), August 2016, vol. 59, pp. 35:1–35:14. [ DOI : 10.4230/LIPIcs.CONCUR.2016.35 ]

    https://hal.inria.fr/hal-01335234
  • 19M. Falaschi, M. Gabbrielli, C. Olarte, C. Palamidessi.

    Slicing Concurrent Constraint Programs, in: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, United Kingdom, M. V. Hermenegildo, P. Lopez-Garcia (editors), 2016.

    https://hal.inria.fr/hal-01421407
  • 20M. Guzman, S. Perchy, C. Rueda, F. Valencia.

    Deriving Inverse Operators for Modal Logic, in: Theoretical Aspects of Computing – ICTAC 2016, Taipei, Taiwan, A. Sampaio, F. Wang (editors), Theoretical Aspects of Computing – ICTAC 2016, Springer, October 2016, vol. 9965, pp. 214-232. [ DOI : 10.1007/978-3-319-46750-4_13 ]

    https://hal.inria.fr/hal-01328188
  • 21M. Guzmán, F. D. Valencia.

    On the Expressiveness of Spatial Constraint Systems , in: ICLP 2016 - Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, New York, United States, M. Carro, A. King, N. Saeedloei, M. D. Vos (editors), Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016), John Gallagher and Germán Vidal, October 2016, vol. OASICS Vol. 52, pp. 16:1 - 16:12, Appears as a Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). [ DOI : 10.4230/OASIcs.ICLP.2016.16 ]

    https://hal.inria.fr/hal-01418166
  • 22S. Haar, S. Perchy, F. Valencia.

    D-SPACES: Implementing Declarative Semantics for Spatially Structured Information, in: 11th International Conference on Semantic Computing, San Diego, California, United States, IEEE ICSC 2017, IEEE, January 2017, vol. 11.

    https://hal.inria.fr/hal-01328189

Other Publications

  • 23K. Chatzikokolakis, E. Elsalamouny, C. Palamidessi.

    Practical Mechanisms for Location Privacy, 2016, working paper or preprint.

    https://hal.inria.fr/hal-01422842
  • 24K. Chatzikokolakis, C. Palamidessi, A. Pazii.

    Methods for Location Privacy: A comparative overview, 2016, Submitted for publication.

    https://hal.inria.fr/hal-01421457
  • 25Y. Kawamoto, K. Chatzikokolakis, C. Palamidessi.

    On the Compositionality of Quantitative Information Flow, 2016, Submitted for publication to Logical Methods in Computer Science.

    https://hal.inria.fr/hal-01421424
References in notes
  • 26M. 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 ]

    http://hal.inria.fr/hal-00734044
  • 27M. 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 ]

    http://hal.inria.fr/hal-00766821
  • 28K. Chatzikokolakis, D. Gebler, C. Palamidessi, L. Xu.

    Generalized bisimulation metrics, in: CONCUR - 25th Conference on Concurrency Theory, Rome, Italy, P. Baldan, D. Gorla (editors), Lecture Notes in Computer Science, Springer, September 2014, vol. 8704, pp. 32-46. [ DOI : 10.1007/978-3-662-44584-6_4 ]

    https://hal.inria.fr/hal-01011471
  • 29E. Elsalamouny, K. Chatzikokolakis, C. Palamidessi.

    Generalized differential privacy: regions of priors that admit robust optimal mechanisms, in: Horizons of the Mind. A Tribute to Prakash Panangaden, F. van Breugel, E. Kashefi, C. Palamidessi, J. Rutten (editors), Lecture Notes in Computer Science, Springer International Publishing, 2014, vol. 8464, pp. 292-318. [ DOI : 10.1007/978-3-319-06880-0_16 ]

    https://hal.inria.fr/hal-01006380


previous Previous | up Home