@inproceedings{Bonakdarpour_2020,
    doi = {10.1109/csf49147.2020.00033},
    url = {https://doi.org/10.1109%2Fcsf49147.2020.00033},
    year = {2020},
    month = {jun},
    publisher = {{IEEE}},
    author = {Borzoo Bonakdarpour and Bernd Finkbeiner},
    title = {Controller Synthesis for Hyperproperties},
    booktitle = {2020 {IEEE} 33rd Computer Security Foundations Symposium ({CSF})}
}

@inproceedings{Bonakdarpour_2020, doi = {10.1109/csf49147.2020.00033}, url = {https://doi.org/10.1109%2Fcsf49147.2020.00033}, year = {2020}, month = {jun}, publisher = {{IEEE}}, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, title = {Controller Synthesis for Hyperproperties}, booktitle = {2020 {IEEE} 33rd Computer Security Foundations Symposium ({CSF})} }