Project-Team Comete
Personnel
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

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. 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

previous Previous | up Home