Using dynamic pushdown networks to automate a modular information-flow analysis Mantel, Heiko Müller-Olm, Markus Perner, Matthias Wenner, Alexander 2015 - TUHH Open Research