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

Tölvunarfræðideild

Háskólinn í Reykjavík

Rannsóknarafurð: Framlag til fræðitímarits › Grein › ritrýni

Upprunalegt tungumál	Enska
Númer greinar	102388
Fræðitímarit	Science of Computer Programming
Bindi	188
DOI	https://doi.org/10.1016/j.scico.2019.102388
Útgáfustaða	Útgefið - 1 mar. 2020

Önnur efnisorð

Differential privacy
Markov processes
Software

Aðgangur að skjali

10.1016/j.scico.2019.102388Leyfi: Ótilgreint

Vitna í þetta

@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 -