Synthesis of Probabilistic Privacy Enforcement
dc.contributor.author
Kučera, Martin
dc.contributor.author
Tsankov, Petar
dc.contributor.author
Gehr, Timon
dc.contributor.author
Guarnieri, Marco
dc.contributor.author
Vechev, Martin
dc.date.accessioned
2018-04-24T06:08:32Z
dc.date.available
2018-04-24T06:08:32Z
dc.date.issued
2017
dc.identifier.isbn
978-1-4503-4946-8
en_US
dc.identifier.other
10.1145/3133956.3134079
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/259989
dc.language.iso
en
en_US
dc.publisher
ACM
en_US
dc.title
Synthesis of Probabilistic Privacy Enforcement
en_US
dc.type
Conference Paper
ethz.book.title
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17)
en_US
ethz.pages.start
391
en_US
ethz.pages.end
408
en_US
ethz.size
18 p.
en_US
ethz.event
ACM SIGSAC Conference on Computer and Communications Security (CCS '17)
en_US
ethz.event.location
Dallas, TX, USA
en_US
ethz.event.date
October 30 - November 3, 2017
en_US
ethz.publication.place
New York, NY
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
en_US
ethz.date.deposited
2018-01-10T15:18:32Z
ethz.source
BATCH
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-04-24T06:08:34Z
ethz.rosetta.lastUpdated
2022-03-28T19:47:46Z
ethz.rosetta.versionExported
true
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/230268
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/227292
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Synthesis%20of%20Probabilistic%20Privacy%20Enforcement&rft.date=2017&rft.spage=391&rft.epage=408&rft.au=Ku%C4%8Dera,%20Martin&Tsankov,%20Petar&Gehr,%20Timon&Guarnieri,%20Marco&Vechev,%20Martin&rft.isbn=978-1-4503-4946-8&rft.genre=proceeding&rft_id=info:doi/10.1145/3133956.3134079&rft.btitle=Proceedings%20of%20the%202017%20ACM%20SIGSAC%20Conference%20on%20Computer%20and%20Communications%20Security%20(CCS%20'17)
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [33060]