
@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}
}
@conference {585,
	title = {Hybrid Monitors for Concurrent Noninterference},
	booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Aslan Askarov and Stephen Chong and Heiko Mantel}
}
@booklet {588,
	title = {Security in E-Voting},
	journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Daniel Bruns and Huy Quoc Do and Simon Greiner and Mihai Herda and Martin Mohr and Enrico Scapin and Tomasz Truderung and Bernhard Beckert and Ralf K{\"u}sters and Heiko Mantel and Richard Gay}
}
@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}
}
@booklet {586,
	title = {Software Security for Mobile Devices},
	journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}
}
@conference {594,
	title = {Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis},
	booktitle = {Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)},
	year = {2015},
	author = {Heiko Mantel and Markus M{\"u}ller-Olm and Matthias Perner and Alexander Wenner}
}
