@InProceedings{	  mantel.muller-olm.ea:using:a,
  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	= {Post-Proceedings of the 25th Logic-Based Program Synthesis
		  and Transformation (LOPSTR)},
  publisher	= {Springer},
  year		= 2015,
  pages		= {201-217},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-LOPSTR-MantelOlmPernerWenner.pdf}
}