@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 {627, title = {Monitoring Hyperproperties}, booktitle = {Proceedings of the 17th International Conference on Runtime Verification (RV)}, year = {2017}, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup} } @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} } @conference {600, title = {Algorithms for Model Checking HyperLTL and HyperCTL*}, booktitle = {Proceedings of the 27th International Conference on Computer Aided Verification (CAV)}, year = {2015}, author = {Bernd Finkbeiner and Markus Rabe and C{\'e}sar S{\'a}nchez} } @booklet {587, title = {Security in Web-Based Workflows}, journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)}, year = {2015}, author = {Thomas Bauereiss and Abhishek Bichhawat and Iulia Bolosteanu and Peter Faymonville and Bernd Finkbeiner and Deepak Garg and Richard Gay and Sergey Grebenshchikov and Christian Hammer and Dieter Hutter and Ond{\v r}ej Kun{\v c}ar and Peter Lammich and Heiko Mantel and Christian M{\"u}ller and Andrei Popescu and Markus Rabe and Vineet Rajani and Helmut Seidl and Markus Tasch and Leander Tentrup} }