
@booklet {586,
	title = {Software Security for Mobile Devices},
	journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}
}
@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}
}
@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}
}
@article {578,
	title = {A New Algorithm for Low-Deterministic Security},
	journal = {International Journal on Information Security},
	year = {2014},
	note = {to appear},
	author = {Dennis Giffhorn and Gregor Snelting}
}
