@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} } @conference {585, title = {Hybrid Monitors for Concurrent Noninterference}, booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)}, year = {2015}, author = {Aslan Askarov and Stephen Chong and Heiko Mantel} } @conference {inp:KuestersTruderung2013, title = {A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of {Java} Programs}, booktitle = {Grande Region Security and Reliability Day 2013}, year = {2013}, note = {Extended Abstract}, author = {R. K{\"u}sters and T. Truderung and B. Beckert and D. Bruns and J. Graf and C. Scheben} }