A Type System for Privacy Properties

Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017) A Type System for Privacy Properties.
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017.
Conference: CCS ACM Conference on Computer and Communications Security

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/3133956.3133998

Actions

Actions (login required)

View Item View Item