A Game-Theoretic Approach to Information-Flow Control via Protocol Composition 718SP8YERQ

URI	`m2://res/718SP8YERQ`
Kind	preprint
Creators	Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Date	2018-03-27
Subjects	arxiv cs.CR, arxiv cs.GT, arxiv cs.IT, arxiv cs.LO, arxiv math.IT
Scope	border

Expressions

e1: version, preprint

Date	2018-03-27
Ids	arXiv 1803.10042, DOI 10.3390/e20050382

Items in this resource

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
118VESYRSN	example	example A6	arxiv
Game II $\geqslant$ Game I	statement	proposition A1	arxiv
visible choice $\geqslant$ hidden choice	statement	proposition A4	arxiv
Pure-strategy Nash equilibria in Game III and equivalence of $ \distr(\calad)$ and $(\cala\rightarrow \distr(\cald))$	statement	theorem A5	arxiv
Convex-linear payoff function	statement	corollary A1	arxiv
Characterization of channel equivalence	statement	lemma A1	arxiv
Game I $\geqslant$ Game III	statement	proposition A2	arxiv
Idempotency	statement	proposition 4.3	arxiv
Timing side-channels	example	example A4	arxiv
BZDTYY5M6J	statement	proposition A5	arxiv
Pure-strategy Nash equilibrium in Game II - strategies of type $\distr(\calda)$	statement	theorem A3	arxiv
Game IV $\geqslant$ Game VI$_{\sf m}$	statement	proposition A3	arxiv
Properties of binary visible choice	statement	proposition B.2	arxiv
FD8TPWSM4K	example	example A7	arxiv
G2V3MM540R	example	example A10	arxiv
\qm{Reorganization of operators	statement	proposition 4.4	arxiv
Properties of the binary hidden choice	statement	proposition B.1	arxiv
Game I $\geqslant$ Game IV	statement	corollary A3	arxiv
PSKVMMSC3P	example	example A9	arxiv
von Neumann's minimax theorem	statement	theorem A1	arxiv
Differential privacy	example	example A1	arxiv
Pure-strategy Nash equilibrium in Game II - strategies of type $\cald \rightarrow \distr(\cala)$	statement	theorem A4	arxiv
QK6HX1QP2W	statement	theorem A7	arxiv
Dining cryptographers	example	example A2	arxiv
Type of hidden choice	statement	proposition 4.1	arxiv
Equivalence of channels	definition	definition A1	arxiv
CRIME attack	example	example A3	arxiv
Convexity/linearity of posterior vulnerability w.r.t. choices	statement	theorem A2	arxiv
W4GZ7Q2DM4	statement	corollary A5	arxiv
WG3A0SE01G	example	example A8	arxiv
Game III $\geqslant$ Game VI$_{\sf m}$	statement	corollary A4	arxiv
Distributivity of $\vchoice{p}$ over $\hchoice{q}$	statement	proposition B.3	arxiv
XPH1JV4P7Z	example	example A5	arxiv
Type of visible choice	statement	proposition 4.2	arxiv
Equivalence of optimal strategies of types $\distr(\calda)$ and $\cald \rightarrow \distr(\cala)$ in Game II	statement	corollary A2	arxiv
Attacker's pure-strategy Nash equilibrium in Game VI	statement	theorem A6	arxiv

Catalogue records

arxiv: 1803.10042 (work)