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
Doctoral Dissertations and Habilitation Theses
-
11M. Guzmán.
On the Expressiveness of Spatial Constraint Systems, École Polytechnique X, September 2017.
https://hal.inria.fr/tel-01674956
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
-
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