Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

R. Küsters, Truderung, T., Beckert, B., Bruns, D., Kirsten, M., and Mohr, M., “A Hybrid Approach for Proving Noninterference of Java Programs”, in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), 2015.