@inproceedings{KL22,
  author    = {O. Kupferman and O. Leshkowitz},
  title     = {Synthesis of Privacy-Preserving Systems},
  booktitle = fsttcs22,
  volume = "250",
  pages = {42:1-42:23},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year      = {2022}
}