Publications

Export 31 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Catuscia Palamidessi  [Clear All Filters]
2015
M. Falaschi, C. Olarte, and C. Palamidessi, “Abstract interpretation of temporal concurrent constraint programs”, Theory and Practice of Logic Programming, vol. 15, p. 312–357, 2015.
K. Chatzikokolakis, C. Palamidessi, and M. Stronati, “Constructing elastic distinguishability metrics for location privacy”, Privacy Enhancing Technologies (PoPETs), vol. 2015, p. 156–170, 2015.
K. Chatzikokolakis, C. Palamidessi, and M. Stronati, “Geo-indistinguishability: A Principled Approach to Location Privacy”, in Distributed Computing and Internet Technology - 11th International Conference, (ICDCIT) 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings, 2015.
M. S. Alvim, M. E. Andrés, K. Chatzikokolakis, P. Degano, and C. Palamidessi, “On the information leakage of differentially-private mechanisms”, Journal of Computer Security, vol. 23, p. 427–469, 2015.
K. Chatzikokolakis, C. Palamidessi, and M. Stronati, “Location Privacy via Geo-Indistinguishability”, in Theoretical Aspects of Computing - (ICTAC) 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015.
C. Palamidessi, “Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges”, in Principles of Security and Trust - 4th International Conference, (POST) 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, (ETAPS) 2015, London, UK, April 11-18, 2015, Proceedings, 2015.
M. E. Andrés, C. Palamidessi, and G. Smith, “Special issue on quantitative information flow”, Mathematical Structures in Computer Science, vol. 25, p. 203–206, 2015.
2014
M. S. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, and G. Smith, “Additive and Multiplicative Notions of Leakage, and Their Capacities”, in Proceedings of the IEEE 27th Computer Security Foundations Symposium, (CSF) 2014, Vienna, Austria, 19-22 July, 2014, 2014.
K. Chatzikokolakis, C. Palamidessi, and C. Braun, “Compositional Methods for Information-Hiding”, Mathematical Structures in Computer Science, 2014.
Y. Kawamoto, K. Chatzikokolakis, and C. Palamidessi, “Compositionality Results for Quantitative Information Flow”, in Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Florence, Italy, 2014.
E. Ábrahám and C. Palamidessi, Formal Techniques for Distributed Objects, Components, and Systems - 34th International Conference (FORTE), vol. 8461. 2014.
K. Chatzikokolakis, D. Gebler, C. Palamidessi, and L. Xu, “Generalized bisimulation metrics”, in CONCUR - 25th Conference on Concurrency Theory, Rome, Italy, 2014.
E. ElSalamouny, K. Chatzikokolakis, and C. Palamidessi, “Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms”, in Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, 2014.
F. van Breugel, E. Kashefi, C. Palamidessi, and J. Rutten, Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, vol. 8464. 2014.
N. E. Bordenabe, K. Chatzikokolakis, and C. Palamidessi, “Optimal Geo-Indistinguishable Mechanisms for Location Privacy”, in CCS - 21st ACM Conference on Computer and Communications Security, Scottsdale, Arizona, United States, 2014.
K. Chatzikokolakis, C. Palamidessi, and M. Stronati, “A Predictive Differentially-Private Mechanism for Mobility Traces”, in PETS 2014 - 14th Privacy Enhancing Technologies Symposium, Amsterdam, Netherlands, 2014.
2013
K. Chatzikokolakis, M. E. Andrés, N. E. Bordenabe, and C. Palamidessi, “Broadening the Scope of Differential Privacy Using Metrics”, in The 13th Privacy Enhancing Technologies Symposium, Bloomington, Indiana, United States, 2013.
K. Chatzikokolakis, M. E. Andrés, N. E. Bordenabe, and C. Palamidessi, “Broadening the Scope of Differential Privacy Using Metrics”, in Privacy Enhancing Technologies - 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings, 2013.PDF icon dpmetrics.pdf (764.63 KB)
E. ElSalamouny, K. Chatzikokolakis, and C. Palamidessi, “A differentially private mechanism of optimal utility for a region of priors”, in Proceedings of the 2nd Conference on Principles of Security and Trust (POST), 2013.PDF icon main.pdf (214.46 KB)
M. E. Andrés, N. E. Bordenabe, K. Chatzikokolakis, and C. Palamidessi, “Geo-Indistinguishability: Differential Privacy for Location-Based Systems”, in 20th ACM Conference on Computer and Communications Security, Berlin, Germany, 2013.
I. Gazeau, D. Miller, and C. Palamidessi, “Preserving differential privacy under finite-precision semantics”, in Proceedings of the Eleventh Workshop on Quantitative Aspects of Programming Languages (QAPL), 2013.PDF icon diff_priv.pdf (213.64 KB)
C. Palamidessi, “Quantitative Approaches to Information Protection”, in Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings, 2013.
S. S. Pelozo and P. R. D'Argenio, “Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability”, in Trustworthy Global Computing, vol. 8191, C. Palamidessi and M. D. Ryan, Eds. 2013, p. 182-197.
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers”, TGC, vol. 8191. 2013.
2012
C. Palamidessi and M. Stronati, “Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems”, in Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012.

Pages