EN FR
EN FR


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. 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
  • 4M. 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
  • 5M. 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
  • 6A. 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
  • 7N. 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
  • 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. Guzmán, 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

Articles in International Peer-Reviewed Journals

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

    Efficient Utility Improvement for Location Privacy, in: Proceedings on Privacy Enhancing Technologies, 2017, vol. 2017, no 4, pp. 308-328. [ DOI : 10.1515/popets-2017-0051 ]

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

    Methods for Location Privacy: A comparative overview, in: Foundations and Trends® in Privacy and Security , 2017, vol. 1, no 4, pp. 199-257, Submitted for publication.

    https://hal.inria.fr/hal-01421457
  • 14F. Gadducci, F. Santini, L. F. Pino Duque, F. Valencia.

    Observational and Behavioural Equivalences for Soft Concurrent Constraint Programming, in: Journal of Logical and Algebraic Methods in Programming, November 2018, vol. 92, pp. 45-63. [ DOI : 10.1016/j.jlamp.2017.06.001 ]

    https://hal.inria.fr/hal-01675060
  • 15S. Haar, S. Perchy, F. Valencia.

    Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach, in: International Journal of Semantic Computing, December 2017, vol. 11, no 04, pp. 451 - 472. [ DOI : 10.1142/S1793351X17400189 ]

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

    Quantifying Leakage in the Presence of Unreliable Sources of Information, in: Journal of Computer and System Sciences, 2017, vol. 88, pp. 27-52, To appear.

    https://hal.inria.fr/hal-01421417
  • 17A. Kassem, Y. Falcone, P. Lafourcade.

    Formal analysis and offline monitoring of electronic exams, in: Formal Methods in System Design, August 2017, vol. 51, no 1, pp. 117 - 153. [ DOI : 10.1007/s10703-017-0280-0 ]

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

    On the Compositionality of Quantitative Information Flow, in: Logical Methods in Computer Science, August 2017, vol. 13, no 3, pp. 1-31, https://arxiv.org/abs/1611.00455 - Submitted for publication to Logical Methods in Computer Science.

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

International Conferences with Proceedings

  • 19M. S. Alvim, K. Chatzikokolakis, Y. Kawamoto, C. Palamidessi.

    Information Leakage Games, in: Decision and Game Theory for Security - 8th International Conference, Vienna, Austria, S. Rass, B. An, C. Kiekintveld, F. Fang, S. Schauer (editors), Lecture Notes in Computer Science, Springer, October 2017, vol. 10575, pp. 437-457. [ DOI : 10.1007/978-3-319-68711-7_23 ]

    https://hal.inria.fr/hal-01678950
  • 20K. Chatzikokolakis, S. Haddad, A. Kassem, C. Palamidessi.

    Trading Optimality for Performance in Location Privacy, in: 11th EAI International Conference on Performance Evaluation Methodologies and Tools, Venice, Italy, December 2017, forthcoming.

    https://hal.inria.fr/hal-01678256
  • 21S. 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

Internal Reports

  • 22A. Kassem, G. Acs, C. Castelluccia.

    Differential Inference Testing A Practical Approach to Evaluate Anonymized Data, Inria, January 2018.

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

Other Publications

  • 23M. Guzmán, S. Perchy, C. Rueda, F. Valencia.

    Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic , January 2018, Submitted to Theoretical Computer Science (TCS).

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