(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
Official URL: http://doi.acm.org/10.1145/3133956.3133998
Item Type: | Conference or Workshop Item (A Paper) (Paper) |
---|---|
Conference: | CCS ACM Conference on Computer and Communications Security |
Depositing User: | Sebastian Weisgerber |
Date Deposited: | 23 Feb 2018 14:23 |
Last Modified: | 23 Feb 2018 14:31 |
URI: | https://publications.cispa.saarland/id/eprint/2538 |
Actions
Actions (login required)
View Item |