Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev. Synthesis of Probabilistic Privacy Enforcement. In Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017. pages 391-408, ACM, 2017. [doi]
@inproceedings{KuceraTGGV17,
title = {Synthesis of Probabilistic Privacy Enforcement},
author = {Martin Kucera and Petar Tsankov and Timon Gehr and Marco Guarnieri and Martin T. Vechev},
year = {2017},
doi = {10.1145/3133956.3134079},
url = {http://doi.acm.org/10.1145/3133956.3134079},
researchr = {https://researchr.org/publication/KuceraTGGV17},
cites = {0},
citedby = {0},
pages = {391-408},
booktitle = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017},
editor = {Bhavani M. Thuraisingham and David Evans and Tal Malkin and Dongyan Xu},
publisher = {ACM},
isbn = {978-1-4503-4946-8},
}