@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} }