
@article {583,
	title = {Understanding Probabilistic Software Leaks},
	journal = {Science of Computer Programming},
	year = {2015},
	note = {Special Issue on New Ideas and Emerging Results in Understanding Software},
	author = {Gregor Snelting}
}
@conference {594,
	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},
	author = {Heiko Mantel and Markus M{\"u}ller-Olm and Matthias Perner and Alexander Wenner}
}
@conference {inp:BlasumHavleLangensteinNemouchiSchmaltzStephanTverdyshevVerbeekWolff2014,
	title = {Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System},
	booktitle = {Isabelle 2014 workshop at FloC 2014},
	year = {2014},
	author = {H. Blasum and O. Havle and B. Langenstein and Y. Nemouchi and J. Schmaltz and W. Stephan and S. Tverdyshew and F. Verbeek and B. Wolf}
}
@conference {inp:GrafHeckerMohr2013,
	title = {Using JOANA for Information Flow Control in Java Programs - A Practical Guide},
	booktitle = {Proceedings of the 6th Working Conference on Programming Languages (ATPS 2013)},
	year = {2013},
	author = {J. Graf and M. Hecker and M. Mohr}
}
