
@conference {624,
	title = {Modular Verification of Information-Flow Security in Component-Based Systems},
	booktitle = {Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM)},
	year = {2017},
	author = {Simon Greiner and Martin Mohr and Bernhard Beckert}
}
@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}
}
@conference {593,
	title = {A Hybrid Approach for Proving Noninterference of Java Programs},
	booktitle = {Proceedings of the 28th IEEE Computer  Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Ralf K{\"u}sters and Tomasz Truderung and Bernhard Beckert and Daniel Bruns and Michael Kirsten and Martin Mohr}
}
@booklet {588,
	title = {Security in E-Voting},
	journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Daniel Bruns and Huy Quoc Do and Simon Greiner and Mihai Herda and Martin Mohr and Enrico Scapin and Tomasz Truderung and Bernhard Beckert and Ralf K{\"u}sters and Heiko Mantel and Richard Gay}
}
@conference {591,
	title = {SHRIFT System-wide HybRid Information Flow Tracking},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Enrico Loval and Alexander Fromm and Martin Mohr and Alexander Pretschner}
}
@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 {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}
}
