A logical characterization of differential privacy

Valentina Castiglioni; Konstantinos Chatzikokolakis; Catuscia Palamidessi

doi:10.1016/j.scico.2019.102388

A logical characterization of differential privacy

Valentina Castiglioni
, Konstantinos Chatzikokolakis
, Catuscia Palamidessi

Department of Computer Science

Reykjavik University

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	102388
Journal	Science of Computer Programming
Volume	188
DOIs	https://doi.org/10.1016/j.scico.2019.102388
Publication status	Published - 1 Mar 2020

Other keywords

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

Access to Document

10.1016/j.scico.2019.102388Licence: Unspecified

Cite this

@article{4ad546f643dd413f80fd343f08785b10,

title = "A logical characterization of differential privacy",

keywords = "Differential privacy, Markov processes, Software, Differential privacy, Labeled Markov chains, Logical characterization, Metric semantics, Nondeterministic probabilistic processes",

author = "Valentina Castiglioni and Konstantinos Chatzikokolakis and Catuscia Palamidessi",

year = "2020",

month = mar,

day = "1",

doi = "10.1016/j.scico.2019.102388",

language = "English",

volume = "188",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - A logical characterization of differential privacy

AU - Castiglioni, Valentina

AU - Chatzikokolakis, Konstantinos

AU - Palamidessi, Catuscia

PY - 2020/3/1

Y1 - 2020/3/1

KW - Differential privacy

KW - Markov processes

KW - Software

KW - Differential privacy

KW - Labeled Markov chains

KW - Logical characterization

KW - Metric semantics

KW - Nondeterministic probabilistic processes

U2 - 10.1016/j.scico.2019.102388

DO - 10.1016/j.scico.2019.102388

M3 - Article

SN - 0167-6423

VL - 188

JO - Science of Computer Programming

JF - Science of Computer Programming

M1 - 102388

ER -