Publications

  1.  M. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, G. Smith. Axioms for Information Leakage. Theoretical Computer Science. To appear.
  2. Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi: A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy20(5): 382 (2018)
  3. Y. Kawamoto, K. Chatzikokolakis, C. Palamidessi: On the Compositionality of Quantitative Information Flow. Logical Methods in Computer Science 13(3:11), pp. 1-31, 2017.
  4.  K. Chatzikokolakis, E. ElSalamouny, C. Palamidessi and Anna Pazii. Methods for Location Privacy: A comparative overview. Foundations and Trends in Privacy and Security 1(4): 199-257, 2017.
  5. K. Chatzikokolakis, E. ElSalamouny, C. Palamidessi. Efficient Utility Improvement for Location Privacy. PoPETs 2017 (4), De Gruyter Open, 308-328, 2017.
  6. S. Hamadou, C. Palamidessi, V. Sassone: Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. 88: 27-52, 2017.
  7. M. Alvim, K. Chatzoikokolakis, A. McIver, C. Morgan, C. Palamidessi and J. Smith. Quantitative Information Flow. Springer. To appear.
  8.  V. Castiglioni, K. Chatzikokolakis, and C. Palamidessi. A Logical Characterization of Differential Privacy via Behavioral Metrics. To appear in FACS 2018
  9. Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii: Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. CSF 2018: 262-267
  10. Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi: Leakage and Protocol Composition in a Game-Theoretic Perspective. POST 2018: 134-159
  11. Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi: Information Leakage Games. GameSec 2017: 437-457
  12. Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi: Trading Optimality for Performance in Location Privacy. VALUETOOLS 2017: 221-222
  13. M. Mio, M.Skrzypczak, H.  Michalewski - Monadic Second Order Logic with Measure and Category Quantifiers. Logical Methods in Computer Science, April 10, 2018, Volume 14, Issue 2
  14. Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak. Measure properties of regular sets of trees, Information and Computation 256, 2017, Pages 108-130 
  15. M. Mio, R. Furber and R. Mardare, "Riesz Modal logic for Markov processes,"  32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, 2017, pp. 1-12. doi: 10.1109/LICS.2017.8005091
  16. Matteo Mio. Riesz Modal Logic with Threshold Operators. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18). ACM, New York, NY, USA, 710-719. 2018. DOI: https://doi.org/10.1145/3209108.3209118
  17. Filippo Bonchi, Barbara König, Daniela Petrisan: Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR 2018: 17:1-17:17
  18. Filippo Bonchi, Alexandra Silva, Ana Sokolova: The Power of Convex Algebras. CONCUR 2017: 23:1-23:18
  19. Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski: Refinement for Signal Flow Graphs. CONCUR 2017: 24:1-24:16
  20. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi: Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169
  21. Filippo Bonchi, Barbara König, Sebastian Küpper: Up-To Techniques for Weighted Systems. TACAS (1) 2017: 535-552
  22. Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen: Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.FoSSaCS 2017: 338-354
  23. Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier: Pointless Learning. FoSSaCS 2017: 355-369
  24. Francesco Gavazzo: Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. LICS 2018: 452-461
  25. Martin Avanzini, Ugo Dal Lago, Akihisa Yamada: On Probabilistic Term Rewriting. FLOPS 2018: 132-148
  26. Flavien Breuvart, Ugo Dal Lago: On Intersection Types and Probabilistic Lambda Calculi. PPDP 2018: 8:1-8:13
  27. Raphaëlle Crubillé, Ugo Dal Lago: Metric Reasoning About  λ -Terms: The General Case. ESOP 2017: 341-367
  28. Ugo Dal Lago, Charles Grellois: Probabilistic Termination by Monadic Affine Sized Typing. ESOP 2017: 393-419
  29. Flavien Breuvart, Ugo Dal Lago, Agathe Herrou: On Higher-Order Probabilistic Subrecursion. FoSSaCS 2017: 370-386
  30. Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka: Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS/CILC 2017: 87-98
  31. Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy: Effectful applicative bisimilarity: Monads, relators, and Howe's method. LICS 2017: 1-12
  32. M. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, G. Smith. Axioms for Information Leakage. Theoretical Computer Science. To appear.
  33.  Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi: A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy20(5): 382 (2018)
  34.  Y. Kawamoto, K. Chatzikokolakis, C. Palamidessi: On the Compositionality of Quantitative Information Flow. Logical Methods in Computer Science 13(3:11), pp. 1-31, 2017.
  35.  K. Chatzikokolakis, E. ElSalamouny, C. Palamidessi and Anna Pazii. Methods for Location Privacy: A comparative overview. Foundations and Trends in Privacy and Security 1(4): 199-257, 2017.
  36.  K. Chatzikokolakis, E. ElSalamouny, C. Palamidessi. Efficient Utility Improvement for Location Privacy. PoPETs 2017 (4), De Gruyter Open, 308-328, 2017.
  37. S. Hamadou, C. Palamidessi, V. Sassone: Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. 88: 27-52, 2017.
  38. M. Mio, M.Skrzypczak, H.  Michalewski - Monadic Second Order Logic with Measure and Category Quantifiers. Logical Methods in Computer Science, April 10, 2018, Volume 14, Issue 2
  39.  Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak. Measure properties of regular sets of trees, Information and Computation 256, 2017, Pages 108-130
  40.  Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith. An axiomatization of information flow measures. Theor. Comput. Sci. 777: 32-54 (2019)
  41. Adrien Durier, Daniel Hirschkoff, and Davide Sangiorgi. Divergence and Unique Solution of Equations. Logical Methods in Computer Science, 15(3:12), 2019.
  42. Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, and Ilias Garnier. Borel Kernels and their Approximations, Categorically. Electronic Notes in Theoretical Computer Science, 341 : 91-119 (2018)
  43. M. Alvim, K. Chatzoikokolakis, A. McIver, C. Morgan, C. Palamidessi and J. Smith. Quantitative Information Flow. Springer. To appear.
  44. Natasha Fernandes, Lefki Kacem, Catuscia Palamidessi. Utility-Preserving Privacy Mechanisms for Counting Queries. Models, Languages, and Tools for Concurrent and Distributed Programming. Springer. 487-495 (2019)
  45. D. Sangiorgi (FOCUS) and V. Vignudelli (ENS Lyon). Environmental bisimulations for probabilistic higher-order languages. (to appear in TOPLAS)
  46. K. Chatzikokolakis , C. Palamidessi (COMETE) and V. Vignudelli (ENS Lyon) Up-to techniques for the Generalized Kantorovich distance on Probabilistic Processes. Submitted. A preliminary version appeared in the conference CONCUR.
  47.  Valentina Castiglioni, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. A Logical Characterization of Differential Privacy. Science of Computer Programming, 188:102388, 2020.
  48. Mario S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith. The Science of Quantitative Information Flow. Springer, 2020.
  49. Daniele Gorla, Federica Granese, and Catuscia Palamidessi. Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. International Journal of Information Security, 2021.
  50. Ugo Dal Lago, Francesco Gavazzo, Rio Tanaka. Effectful Applicative Similarity for Call-by-name Lambda Calculi. Theoretical Computer Science. 813: 100-116 (2020)
  51.  M. Avanzini, U. Dal Lago, A. Yamada. On Probabilistic Term Rewriting. Science of Computer Programming. 185, 2020.
  52. U. Dal Lago, M. de Visme, D. Mazza, A. Yoshimizu. Intersection Types and Runtime Errors in the pi-calculus. Proc. ACM Programming Languages 3(POPL): 7:1-7:29, 2019.
  53. N. Behr, V. Danos, I. Garnier. Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. Logical Methods in Computer Science. 16:3, 2020.
  54. A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption, Mireya Jurado, Catuscia Palamidessi, and Geoffrey Smith, in Proc. CSF 2021: 34th IEEE Computer Security Foundations Symposium, Virtual, June 2021.
  55. Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Pablo Piantanida. Estimating g-Leakage via Machine Learning. In CCS ’20 - 2020 ACM SIGSAC Conference on Computer and Communications Security, pages 697–716, Online, United States, November 2020.
  56. Ehab Elsalamouny and Catuscia Palamidessi. Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection. In EuroS&P 2020 - 5th IEEE European Symposium on Security and Privacy, pages 490–507, Genova, Italy, September 2020.
  57.  Catuscia Palamidessi and Marco Romanelli. Modern Applications of Game-Theoretic Principles. In Igor Konnov and Laura Kovacs, editors, CONCUR 2020 - 31st International Conference on Concurrency Theory, volume 171 of Leibniz International Proceedings in Informatics (LIPIcs), pages 4:1–4:9, Vienne / Virtual, Austria, September 2020. Schloss Dagstuhl - Leibniz-Zentrum fu ̈r Informatik.
  58. Marco Romanelli, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. Optimal Obfuscation Mechanisms via Machine Learning. In CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, pages 153–168, Online, United States, June 2020b. IEEE.
  59. Daniele Gorla, Federica Granese, and Catuscia Palamidessi. Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. In Robert Mark Hierons and Mohamed Mosbah, editors, ICTAC 2019 - 16th International Colloquium on Theoretical Aspects of Computing, volume 11884 of Lecture Notes in Computer Science, pages 313–331, Hammamet, Tunisia, October 2019.
  60. Konstantinos Chatzikokolakis, Natasha Fernandes, and Catuscia Palamidessi. Comparing systems: max-case refinement orders and application to differential privacy. In CSF 2019 - 32nd IEEE Com- puter Security Foundations Symposium, pages 442–457, Hoboken, United States, June 2019.
  61. Ali Kassem, Gergely Acs, Claude Castelluccia, and Catuscia Palamidessi. Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets. In SPW 2019 - 40th IEEE Symposium on Security and Privacy Workshops, pages 72–79, San Francisco, United States, May 2019.
  62. Giovanni Cherubin, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. F-BLEAU: Fast Black- Box Leakage Estimation. In SP 2019 - 40th IEEE Symposium on Security and Privacy, pages 835–852, San Francisco, United States, May 2019.
  63. Moreno Falaschi, Catuscia Palamidessi, and Marco Romanelli. Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. In Frank S. de Boer and Jacopo Mauro, editors, Recent Developments in the Design and Implementation of Programming Languages, volume 86 of OASICS, pages 11:1–11:20. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2020.
  64.  Matteo Mio and Valeria Vignudelli. Monads and Quantitative Equational Theories for Nondeterminism and Probability. In CONCUR 2020, Vienna (on line), Austria, September 2020.
  65. Christophe Lucas and Matteo Mio. Towards a Structural Proof Theory of Probabilistic mu-Calculi. In FoSSaCS, Foundations of Software Science and Computation Structures - 22nd International Confer- ence, pages 418–435, Prague, Czech Republic, April 2019.
  66. Filippo Bonchi, Ana Sokolova, and Valeria Vignudelli. The Theory of Traces for Systems with Non- determinism and Probability. In Logic in Computer Science (LICS) 2019, Vancouver, Canada, June 2019.
  67. Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier: Pointless Learning. FoSSaCS 2017: 355-369
  68. F. Gavazzo, C. Faggian. A Relational Theory of Monadic Rewriting Systems, Part I. LICS 2021. 1-14
  69. U. Dal Lago, F. Gavazzo. Resource Transition Systems and Full Abstraction of Linear Higher-Order Effectful Languages. FSCD 2021: 23:1-23:19.
  70. G. Barthe, R. Crubillé, U. Dal Lago, F. Gavazzo. On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. ESOP 2020. 56-83.
  71. B. Barak, R. Crubillé, U. Dal Lago. On Higher-Order Cryptography. ICALP 2020: 108:1-108:16.
  72. U. Dal Lago, F. Gavazzo Differential Logical Relations, Part II: Increments and Derivatives. ICTCS 2020: 101-114.
  73. U. Dal Lago, F. Gavazzo. Effectful Normal Form Bisimulation. ESOP 2019: 263-292.
  74. U. Dal Lago, F. Gavazzo, Akira Yoshimizu. Differential Logical Relations, Part I: The Simply-Typed Case. ICALP 2019: 111:1-111:14
  75. Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy: Effectful applicative bisimilarity: Monads, relators, and Howe's method. LICS 2017: 1-12
  76. G. Geoffroy, P. Pistone. A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. CSL 2021: 23:1-23:18.    

 

 

 

Contact:Catuscia Palamidessi