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. 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
  8. Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak. Measure properties of regular sets of trees, Information and Computation 256, 2017, Pages 108-130 
  9. M. Alvim, K. Chatzoikokolakis, A. McIver, C. Morgan, C. Palamidessi and J. Smith. Quantitative Information Flow. Springer. To appear.
  10.  V. Castiglioni, K. Chatzikokolakis, and C. Palamidessi. A Logical Characterization of Differential Privacy via Behavioral Metrics. To appear in FACS 2018
  11. 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
  12. Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi: Leakage and Protocol Composition in a Game-Theoretic Perspective. POST 2018: 134-159
  13. Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi: Information Leakage Games. GameSec 2017: 437-457
  14. Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi: Trading Optimality for Performance in Location Privacy. VALUETOOLS 2017: 221-222
  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:
  17. Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen: Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.FoSSaCS 2017: 338-354
  18. Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier: Pointless Learning. FoSSaCS 2017: 355-369
  19. Francesco Gavazzo: Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. LICS 2018: 452-461
  20. Martin Avanzini, Ugo Dal Lago, Akihisa Yamada: On Probabilistic Term Rewriting. FLOPS 2018: 132-148
  21. Flavien Breuvart, Ugo Dal Lago: On Intersection Types and Probabilistic Lambda Calculi. PPDP 2018: 8:1-8:13
  22. Raphaëlle Crubillé, Ugo Dal Lago: Metric Reasoning About  λ -Terms: The General Case. ESOP 2017: 341-367
  23. Ugo Dal Lago, Charles Grellois: Probabilistic Termination by Monadic Affine Sized Typing. ESOP 2017: 393-419
  24. Flavien Breuvart, Ugo Dal Lago, Agathe Herrou: On Higher-Order Probabilistic Subrecursion. FoSSaCS 2017: 370-386
  25. Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka: Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS/CILC 2017: 87-98
  26. Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy: Effectful applicative bisimilarity: Monads, relators, and Howe's method. LICS 2017: 1-12


© Catuscia Palamidessi 2018