Publications

Export 31 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Catuscia Palamidessi  [Clear All Filters]
Book Chapter
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.
Conference Paper
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, 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)
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.
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.
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.
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)
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.
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. 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.
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.
M. S. Alvim, K. Chatzikokolakis, C. Palamidessi, and G. Smith, “Measuring Information Leakage using Generalized Gain Functions”, in Proceedings of the Computer Security Foundations Symposium (CSF), 2012, p. 265-279.PDF icon gleakage.pdf (330.44 KB)
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.
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.
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.
S. Knight, C. Palamidessi, P. Panangaden, and D. Valencia, Frank, “Spatial and Epistemic Modalities in Constraint-Based Process Calculi”, in Proceedings of CONCUR, Newcastle upon Tyne, UK, 2012.PDF icon hal.archives-ouvertes.fr:docs:00:76:11:16:PDF:eccp.pdf (2.71 MB)
Journal Article
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 C. Braun, “Compositional Methods for Information-Hiding”, Mathematical Structures in Computer Science, 2014.

Pages