A logical characterization of differential privacy

Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)
Original languageEnglish
Article number102388
JournalScience of Computer Programming
Volume188
DOIs
Publication statusPublished - 1 Mar 2020

Other keywords

  • Differential privacy
  • Metric semantics
  • Logical characterization
  • Nondeterministic probabilistic processes
  • Labeled Markov chains

Cite this