@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@InProceedings{CCS2017-typeEQUIV,
author = {V\'eronique Cortier and
Niklas Grimm and
Joseph Lallemand and
Matteo Maffei},
title = {A type system for privacy properties},
booktitle = {24th ACM Conference on Computer and Communications Security (CCS'17)},
year = {2017},
OPTeditor = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
pages = {409--423},
month = {October},
address = {Dallas, USA},
OPTorganization = {},
publisher = {ACM},
doi = {10.1145/3133956.3133998},
}