by Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Reference:
A Type System for Privacy PropertiesVéronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo MaffeiProceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017 (Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, eds.), pages 409–423, 2017, ACM.
Bibtex Entry:
@inproceedings{DBLP:conf/ccs/CortierGLM17,
author = {V{\'{e}}ronique Cortier and
Niklas Grimm and
Joseph Lallemand and
Matteo Maffei},
editor = {Bhavani M. Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {A Type System for Privacy Properties},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {409--423},
publisher = {{ACM}},
year = {2017},
url = {https://arxiv.org/abs/1708.08340},
doi = {arXiv:1708.08340},
timestamp = {Tue, 13 Mar 2018 15:08:56 +0100},
biburl = {https://dblp.org/rec/bib/conf/ccs/CortierGLM17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}