@conference {635, title = {The First-Order Logic of Hyperproperties}, booktitle = {Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS)}, year = {2017}, author = {Bernd Finkbeiner and Martin Zimmermann} } @conference {634, title = {Verifying Security Policies in Multi-agent Workflows with Loops}, booktitle = {Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS)}, year = {2017}, author = {Bernd Finkbeiner and Christian M{\"u}ller and Helmut Seidl and Eugen Zalinescu} }