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