Follow
Catuscia Palamidessi
Catuscia Palamidessi
Inria
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
Geo-indistinguishability: Differential privacy for location-based systems
ME Andrés, NE Bordenabe, K Chatzikokolakis, C Palamidessi
20th ACM Conference on Computer and Communications Security, 901-914, 2013
12092013
Comparing the Expressive Power of the Synchronous and Asynchronous pi-Calculi
C Palamidessi
Mathematical Structures in Computer Science 13 (5), 685-719, 2003
387*2003
Declarative modeling of the operational behavior of logic languages
M Falaschi, G Levi, M Martelli, C Palamidessi
Theoretical Computer Science 69 (3), 289-318, 1989
3701989
Broadening the scope of differential privacy using metrics
K Chatzikokolakis, ME Andrés, NE Bordenabe, C Palamidessi
Privacy Enhancing Technologies: 13th International Symposium, PETS 2013 …, 2013
3582013
Optimal geo-indistinguishable mechanisms for location privacy
NE Bordenabe, K Chatzikokolakis, C Palamidessi
Proceedings of the 2014 ACM SIGSAC conference on computer and communications …, 2014
2982014
Measuring information leakage using generalized gain functions
SA Mário, K Chatzikokolakis, C Palamidessi, G Smith
Computer Security Foundations Symposium (CSF), 2012 IEEE 25th, 265-279, 2012
2712012
Anonymity protocols as noisy channels
K Chatzikokolakis, C Palamidessi, P Panangaden
Information and Computation 206 (2-4), 378-401, 2008
2702008
On the information leakage of differentially-private mechanisms
MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi
Journal of Computer Security 23 (4), 427-469, 2015
205*2015
Kernel-LEAF: A logic plus functional language
E Giovannetti, G Levi, C Moiso, C Palamidessi
Journal of Computer and System Sciences 42 (2), 139-185, 1991
1921991
Quantitative notions of leakage for one-try attacks
C Braun, K Chatzikokolakis, C Palamidessi
Electronic Notes in Theoretical Computer Science 249, 75-91, 2009
1702009
A model-theoretic reconstruction of the operational semantics of logic programs
M Falaschi, G Levi, M Martelli, C Palamidessi
Information and Computation 103 (1), 86-113, 1993
1481993
On the Bayes risk in information-hiding protocols
K Chatzikokolakis, C Palamidessi, P Panangaden
Journal of Computer Security 16 (5), 531-571, 2008
145*2008
Temporal concurrent constraint programming: Denotation, logic and applications
M Nielsen, C Palamidessi, FD Valencia
Nord. J. Comput. 9 (1), 145-188, 2002
1412002
Algebraic properties of idempotent substitutions
C Palamidessi
Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990
1371990
A fully abstract model for concurrent constraint programming
FS De Boer, C Palamidessi
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and …, 1991
1361991
Probabilistic Asynchronous π-Calculus
OM Herescu, C Palamidessi
Foundations of Software Science and Computation Structures: Third …, 2000
1352000
A predictive differentially-private mechanism for mobility traces
K Chatzikokolakis, C Palamidessi, M Stronati
Privacy Enhancing Technologies: 14th International Symposium, PETS 2014 …, 2014
1322014
Probabilistic anonymity
M Bhargava, C Palamidessi
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
1232005
Embedding as a tool for language comparison
FS De Boer, C Palamidessi
Information and computation 108 (1), 128 - 157, 1994
123*1994
Proving concurrent constraint programs correct
FS De Boer, M Gabbrielli, E Marchiori, C Palamidessi
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 685-725, 1997
1191997
The system can't perform the operation now. Try again later.
Articles 1–20