@conference {633, title = {Taming Message-passing Communication in Compositional Reasoning about Confidentiality}, booktitle = {Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS)}, year = {2017}, author = {Ximeng Li and Heiko Mantel and Markus Tasch} } @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} }