Catuscia Palamidessi

Publications

4.9K

Citations

H-Index

1984

Active since

Affiliations

Laboratoire d'Informatique de l'École Polytechnique(Current)

Institut national de recherche en sciences et technologies du numérique

École Polytechnique

Centre National de la Recherche Scientifique

University of Pisa

Catuscia Palamidessi is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningData PrivacyData SecurityInformation SecurityCryptographyData Science

Publications per year

1984–2023

Publications

Geo-indistinguishability

Miguel E. Andrés, Nicolás E. Bordenabe, Konstantinos Chatzikokolakis et al. · 2013 · 1K citations · Full text

Serious Privacy Concerns, Location Information, Engineering +14

Measuring Information Leakage Using Generalized Gain Functions

Mário S. Alvim, Kostas Chatzikokolakis, Catuscia Palamidessi et al. · 2012 · 240 citations

Engineering, Information Security, Information Leakage +17

Geo-Indistinguishability: Differential Privacy for Location-Based Systems

Miguel E. Andrés, Nicolás E. Bordenabe, Konstantinos Chatzikokolakis et al. · 2012 · 213 citations · Full text

Serious Privacy Concerns, Privacy Protection, Engineering +15

Anonymity protocols as noisy channels

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden · Information and Computation · 2007 · 198 citations · Full text

Engineering, Information Security, Noisy Channels +8

Declarative modeling of the operational behavior of logic languages

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi et al. · Theoretical Computer Science · 1989 · 198 citations

Declarative Programming, Engineering, Operational Semantics +5

Rows per page

1–5 of 98