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