ACM Conference on Computer and Communications Security

CCS 2017 - Session 4B

Sessions · Papers

Privacy Policies

Tuesday, 1:45-3:15pm

Session chair: Michael Hicks

Synthesis of Probabilistic Privacy Enforcement
Martin Kucera (ETH Zürich), Petar Tsankov (ETH Zürich), Timon Gehr (ETH Zürich), Marco Guarnieri (ETH Zürich), Martin Vechev (ETH Zürich)
[PDF]
[Artifact]
A Type System for Privacy Properties
Véronique Cortier (Loria, CNRS / Inria), Niklas Grimm (TU Wien), Joseph Lallemand (Loria, CNRS / Inria), Matteo Maffei (TU Wien)
[PDF]
[Paper]
[Artifact]
Generating Synthetic Decentralized Social Graphs with Local Differential Privacy
Zhan Qin (State University of New York at Buffalo), Yin Yang (College of Science and Engineering, Hamad Bin Khalifa University), Ting Yu (Qatar Computing Research Institute, Hamad Bin Khalifa University), Xiaokui Xiao (Nanyang Technological University), Issa Khalil (Qatar Computing Research Institute, Hamad Bin Khalifa University), Kui Ren (State University of New York at Buffalo)
[PDF]