Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
M. 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
[2]
M. 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
[3]
M. S. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, G. Smith.
An Axiomatization of Information Flow Measures, in: Theoretical Computer Science, 2019, vol. 777, pp. 32-54. [ DOI : 10.1016/j.tcs.2018.10.016 ]
https://hal.archives-ouvertes.fr/hal-01995712
[4]
M. S. 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
[5]
M. E. Andrés, N. E. 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
[6]
N. 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
[7]
G. Cherubin, K. Chatzikokolakis, C. Palamidessi.
F-BLEAU: Fast Black-Box Leakage Estimation, in: Proceedings of the 40th IEEE Symposium on Security and Privacy (SP), San Francisco, United States, IEEE, May 2019, pp. 835-852. [ DOI : 10.1109/SP.2019.00073 ]
https://hal.archives-ouvertes.fr/hal-02422945
[8]
M. Guzmán, S. Knight, S. Quintero, S. Ramírez, C. Rueda, F. D. Valencia.
Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents, in: CONCUR 2019 - 30th International Conference on Concurrency Theory, Amsterdam, Netherlands, W. Fokkink, R. van Glabbeek (editors), August 2019, vol. 140, pp. 29:1–29:15. [ DOI : 10.4230/LIPIcs.CONCUR.2019.29 ]
https://hal.archives-ouvertes.fr/hal-02172415
[9]
M. Guzmán, S. Haar, S. Perchy, C. Rueda, F. D. 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
[10]
S. 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

Articles in International Peer-Reviewed Journals

[11]
M. S. Alvim, K. Chatzikokolakis, C. Morgan, C. Palamidessi, G. Smith, A. McIver.
An Axiomatization of Information Flow Measures, in: Theoretical Computer Science, 2019, vol. 777, pp. 32-54. [ DOI : 10.1016/j.tcs.2018.10.016 ]
https://hal.archives-ouvertes.fr/hal-01995712
[12]
V. Castiglioni, K. Chatzikokolakis, C. Palamidessi.
A Logical Characterization of Differential Privacy, in: Science of Computer Programming, 2019, forthcoming.
https://hal.archives-ouvertes.fr/hal-02423048
[13]
M. Falaschi, M. Gabbrielli, C. Olarte, C. Palamidessi.
Dynamic slicing for Concurrent Constraint Languages, in: Fundamenta Informaticae, 2019, forthcoming.
https://hal.archives-ouvertes.fr/hal-02423973
[14]
F. D. Valencia.
Semantic Structures for Spatially-Distributed Multi-Agent Systems, in: Electronic Proceedings in Theoretical Computer Science, August 2019, vol. 300, pp. 39-53. [ DOI : 10.4204/EPTCS.300.3 ]
https://hal.archives-ouvertes.fr/hal-02410770

International Conferences with Proceedings

[15]
K. Chatzikokolakis, N. Fernandes, C. Palamidessi.
Comparing systems: max-case refinement orders and application to differential privacy, in: Proceedings of the 32nd IEEE Computer Security Foundations Symposium, Hoboken, United States, 2019, pp. 442–457. [ DOI : 10.1109/CSF.2019.00037 ]
https://hal.archives-ouvertes.fr/hal-02126848
[16]
G. Cherubin, K. Chatzikokolakis, C. Palamidessi.
F-BLEAU: Fast Black-Box Leakage Estimation, in: Proceedings of the 40th IEEE Symposium on Security and Privacy (SP), San Francisco, United States, IEEE, May 2019, pp. 835-852. [ DOI : 10.1109/SP.2019.00073 ]
https://hal.archives-ouvertes.fr/hal-02422945
[17]
A. Di Luzio, A. C. Viana, K. Chatzikokolakis, G. Dikov, C. Palamidessi, J. Stefa.
Catch Me If You Can: How Geo-indistinguishability Affects Utility in Mobility-based Geographic Datasets, in: Proceedings of the 3rd ACM SIGSPATIAL International Workshop, Chicago, United States, ACM Press, 2019, pp. 1-10. [ DOI : 10.1145/3356994.3365498 ]
https://hal.archives-ouvertes.fr/hal-02423337
[18]
D. Gorla, F. Granese, C. Palamidessi.
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks, in: Proceedings of the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC), Hammamet, Tunisia, R. M. Hierons, M. Mosbah (editors), Lecture Notes in Computer Science, Springer, October 2019, vol. 11884, pp. 313-331. [ DOI : 10.1007/978-3-030-32505-3_18 ]
https://hal.inria.fr/hal-02424329
[19]
M. Guzmán, S. Knight, S. Quintero, S. Ramírez, C. Rueda, F. D. Valencia.
Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents, in: CONCUR 2019 - 30th International Conference on Concurrency Theory, Amsterdam, Netherlands, W. Fokkink, R. van Glabbeek (editors), August 2019, vol. 29, pp. 1-29. [ DOI : 10.4230/LIPIcs.CONCUR.2019.29 ]
https://hal.archives-ouvertes.fr/hal-02172415
[20]
A. Kassem, G. Acs, C. Castelluccia, C. Palamidessi.
Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets, in: Proceedings of the 2019 IEEE Security and Privacy Workshops (SPW), San Francisco, United States, IEEE, May 2019, pp. 72-79. [ DOI : 10.1109/SPW.2019.00024 ]
https://hal.archives-ouvertes.fr/hal-02422992

Scientific Books (or Scientific Book chapters)

[21]
M. S. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, G. Smith.
The Science of Quantitative Information Flow, Springer, 2019, forthcoming.
https://hal.inria.fr/hal-01971490
[22]
M. S. Alvim, S. Knight, F. D. Valencia.
Toward a Formal Model for Group Polarization in Social Networks, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, M. S. Alvim, K. Chatzikokolakis, C. Olarte, F. D. Valencia (editors), Lecture Notes in Computer Science, Springer, November 2019, vol. 11760, pp. 419-441. [ DOI : 10.1007/978-3-030-31175-9_24 ]
https://hal.archives-ouvertes.fr/hal-02410747
[23]
N. Aristizabal, C. Pinzón, C. Rueda, F. D. Valencia.
Make Puzzles Great Again, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, M. S. Alvim, K. Chatzikokolakis, C. Olarte, F. D. Valencia (editors), Lecture Notes in Computer Science, Springer, November 2019, vol. 11760, pp. 442-459. [ DOI : 10.1007/978-3-030-31175-9_25 ]
https://hal.archives-ouvertes.fr/hal-02410767
[24]
K. Chatzikokolakis, G. Smith.
Refinement Metrics for Quantitative Information Flow, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, M. S. Alvim, K. Chatzikokolakis, C. Olarte, F. D. Valencia (editors), Lecture Notes in Computer Science, Springer, November 2019, vol. 11760, pp. 397-416. [ DOI : 10.1007/978-3-030-31175-9_23 ]
https://hal.inria.fr/hal-02350777
[25]
N. Fernandes, K. Lefki, C. Palamidessi.
Utility-Preserving Privacy Mechanisms for Counting Queries, in: Models, Languages and Tools for Concurrent and Distributed Programming, M. Boreale, F. Corradini, M. Loreti, R. Pugliese (editors), Lecture Notes in Computer Science, Springer, July 2019, vol. 11665, pp. 487-495, https://arxiv.org/abs/1906.12147.
https://hal.archives-ouvertes.fr/hal-02169218

Books or Proceedings Editing

[26]
M. S. Alvim, K. Chatzikokolakis, C. Olarte, F. D. Valencia (editors)
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Lecture Notes in Computer Science, Springer, November 2019, vol. 11760. [ DOI : 10.1007/978-3-030-31175-9 ]
https://hal.archives-ouvertes.fr/hal-02411252
[27]
A. Dawar, A. Muscholl, C. Palamidessi (editors)
Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017), Logical Methods in Computer Science Association, 2019, forthcoming.
https://hal.inria.fr/hal-01997414

Internal Reports

[28]
S. Quintero, S. Ramírez, C. Rueda, F. D. Valencia.
Counting and Computing Join-Endomorphisms in Lattices, LIX, Ecole polytechnique ; Inria Saclay - Ile-de-France, December 2019, Conditionally Accepted at RAMICS 2020.
https://hal.archives-ouvertes.fr/hal-02422624