DMCA

Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis

by Heiko Mantel , Matthias Perner , Er Wenner