Publication Overview

Véronique Cortier and Niklas Grimm and Joseph Lallemand and Matteo Maffei

A Type System for Privacy Properties

Published in: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017
Year: 2017
Volume: 4
Pages: 409-423