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. 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
  • 4S. M. 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
  • 5E. M. Andrés, E. 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, F. 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

Articles in International Peer-Reviewed Journals

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

    A Game-Theoretic Approach to Information-Flow Control via Protocol Composition, in: Entropy, May 2018, vol. 20, no 5, 382 p. [ DOI : 10.3390/e20050382 ]

    https://hal.archives-ouvertes.fr/hal-01966862
  • 12V. Castiglioni, D. Gebler, S. Tini.

    SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes, in: Logical Methods in Computer Science, August 2018, vol. 14, no 2. [ DOI : 10.23638/LMCS-14(2:18)2018 ]

    https://hal.inria.fr/hal-01966954
  • 13F. 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
  • 14M. Guzmán, S. Perchy, C. Rueda, F. Valencia.

    Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic, in: Theoretical Computer Science, October 2018, vol. 744, no 56–77.

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

Invited Conferences

  • 15M. S. Alvim, K. Chatzikokolakis, C. Palamidessi, A. Pazii.

    Metric-based local differential privacy for statistical applications, in: 31st Computer Security Foundations Symposium (CSF 2018), Oxford, United Kingdom, IEEE Computer Society, July 2018, pp. 262-267.

    https://hal.archives-ouvertes.fr/hal-01966869
  • 16K. Chatzikokolakis.

    On the Additive Capacity Problem for Quantitative Information Flow, in: 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Beijing, China, Lecture Notes in Computer Science, Springer, September 2018, vol. 11024, pp. 1-19.

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

International Conferences with Proceedings

  • 17V. Castiglioni.

    Trace and Testing Metrics on Nondeterministic Probabilistic Processes, in: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, (EXPRESS/SOS) 2018, Beijing, China, September 2018, vol. 276, pp. 19-36. [ DOI : 10.4204/EPTCS.276.4 ]

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

    A Logical Characterization of Differential Privacy via Behavioral Metrics, in: Formal Aspects of Component Software (FACS 2018), Pohang, South Korea, K. Bae, P. C. Ölveczky (editors), Springer, October 2018, vol. 11222, pp. 75-96. [ DOI : 10.1007/978-3-030-02146-7_4 ]

    https://hal.archives-ouvertes.fr/hal-01966870
  • 19C. Palamidessi, M. Romanelli.

    Feature selection with Rényi min-entropy, in: Artificial Neural Networks in Pattern Recognition - 8th IAPR TC3 Workshop (ANNPR 2018), Siena, Italy, L. Pancioni, F. Schwenker, E. Trentin (editors), Springer, September 2018, vol. 11081, pp. 226-239.

    https://hal.archives-ouvertes.fr/hal-01830177
  • 20S. Ramírez, M. Romero, C. Rocha, F. D. Valencia.

    Real-time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming, in: Rewriting Logic and Its Applications - 12th International Workshop, Thessaloniki, Greece, V. Rusu (editor), Rewriting Logic and Its Applications, Springer, June 2018, vol. 11152, pp. 226–244.

    https://hal.archives-ouvertes.fr/hal-01934953

Conferences without Proceedings

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

    Leakage and Protocol Composition in a Game-Theoretic Perspective, in: 7th International Conference on Principles of Security and Trust (POST 2018), Thessaloniki, Greece, L. Bauer, R. Küsters (editors), Springer, April 2018, vol. 10804, pp. 134-159.

    https://hal.archives-ouvertes.fr/hal-01966871
  • 22L. Kacem, C. Palamidessi.

    Geometric Noise for Locally Private Counting Queries, in: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security (PLAS 2018), Toronto, Canada, ACM, 2018, pp. 13-16. [ DOI : 10.1145/3264820.3264827 ]

    https://hal.archives-ouvertes.fr/hal-01966872

Scientific Books (or Scientific Book chapters)

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

    The Science of Quantitative Information Flow, Springer, 2019.

    https://hal.inria.fr/hal-01971490
  • 24M. Leucker, J. A. Pérez, C. Rueda, F. D. Valencia.

    Special Issue: Best Papers Presented at ICTAC 2015, Mathematical Structures in Computer Science, Cambridge University Press, May 2018.

    https://hal.archives-ouvertes.fr/hal-01837891
References in notes
  • 25M. 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
  • 26S. M. 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


previous Previous | up Home