@TechReport{ tr:SprickStaesche2013a, author = {Barbara Sprick and Daniel Staesche}, title = {{Verifying Information Flow Security in Visibly Pushdown Automata}}, year = {2013}, institution = {TU Darmstadt}, number = {TUD-CS-2013-0275}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2013/TUD-CS-2013-0275-VerifyingIFSinVPA.pdf} }