Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis.

Heiko Mantel, Markus Mller-Olm, Matthias Perner, Alexander Wenner

Browse the full LOPSTR paper archive.