@InProceedings{ mantel.muller-olm.ea:using, author = {Heiko Mantel and Markus M\"uller-Olm and Matthias Perner and Alexander Wenner}, 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, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-LOPSTR-MantelOlmPernerWenner-.pdf} }