Publications
Filters: Author is Catuscia Palamidessi [Clear All Filters]
Epistemic Strategies and Games on Concurrent Processes”, ACM Trans. Comput. Log., vol. 13, p. 28, 2012.
, “ Measuring Information Leakage using Generalized Gain Functions”, in Proceedings of the Computer Security Foundations Symposium (CSF), 2012, p. 265-279.gleakage.pdf (330.44 KB)
, “ Quantitative information flow in interactive systems”, Journal of Computer Security, vol. 20, p. 3-50, 2012.full.pdf (532.59 KB)
, ““Quantitative Security Analysis (Dagstuhl Seminar 12481)”, Dagstuhl Reports, vol. 2. p. 135-154, 2012.
Spatial and Epistemic Modalities in Constraint-Based Process Calculi”, in Proceedings of CONCUR, Newcastle upon Tyne, UK, 2012.hal.archives-ouvertes.fr:docs:00:76:11:16:PDF:eccp.pdf (2.71 MB)
, “ Special issue dedicated to a selection of papers of the conference Mathematical Foundations of Programming Semantics (MFPS XXV)”, Theor. Comput. Sci., vol. 430, p. 1-2, 2012.
, “