A Type System for Privacy Properties (Technical Report)

Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017) A Type System for Privacy Properties (Technical Report).
CoRR, abs/17.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1708.08340

Actions

Actions (login required)

View Item View Item