A type system for privacy properties

A type system for privacy properties. Véronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei. In 24th ACM Conference on Computer and Communications Security (CCS'17), pp. 409–423, ACM, Dallas, USA, October 2017.

Download

[PDF] [HTML]

Abstract

(unavailable)

BibTeX

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