Synthesis of Probabilistic Privacy Enforcement.

Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev

Browse the full CCS paper archive.