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