
@conference {613,
	title = {On Improvements Of Low-Deterministic Security},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Joachim Breitner and J{\"u}rgen Graf and Martin Hecker and Martin Mohr and Gregor Snelling}
}
@article {582,
	title = {Checking Probabilistic Noninterference Using JOANA},
	journal = {it - Information Technology},
	year = {2014},
	author = {Gregor Snelting and Dennis Giffhorn and J{\"u}rgen Graf and Christian Hammer and Martin Hecker and Martin Mohr and Daniel Wasserrab}
}
