A Type System for Privacy Properties

Cortier, Véronique; Grimm, Niklas; Lallemand, Joseph; Maffei, Matteo

doi:arXiv:1708.08340

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