%0 Conference Paper %1 conf/fsttcs/KupfermanL22 %A Kupferman, Orna %A Leshkowitz, Ofer %B FSTTCS %D 2022 %E Dawar, Anuj %E Guruswami, Venkatesan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 42:1-42:23 %T Synthesis of Privacy-Preserving Systems. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2022.html#KupfermanL22 %V 250 %@ 978-3-95977-261-7

@inproceedings{conf/fsttcs/KupfermanL22, added-at = {2022-12-14T00:00:00.000+0100}, author = {Kupferman, Orna and Leshkowitz, Ofer}, biburl = {https://www.bibsonomy.org/bibtex/29a2d62cc9d346932a843da5b013e0ef1/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2022}, editor = {Dawar, Anuj and Guruswami, Venkatesan}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.42}, interhash = {589bac5685c851a649d2ede6bd2d1dbe}, intrahash = {9a2d62cc9d346932a843da5b013e0ef1}, isbn = {978-3-95977-261-7}, keywords = {dblp}, pages = {42:1-42:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T01:21:29.000+0200}, title = {Synthesis of Privacy-Preserving Systems.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2022.html#KupfermanL22}, volume = 250, year = 2022 }