
@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}
}
