A Hybrid Approach for Proving Noninterference of Java Programs

Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr. A Hybrid Approach for Proving Noninterference of Java Programs. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 305-319, IEEE, 2015. [doi]

Authors

Ralf Küsters

This author has not been identified. Look up 'Ralf Küsters' in Google

Tomasz Truderung

This author has not been identified. Look up 'Tomasz Truderung' in Google

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google

Daniel Bruns

This author has not been identified. Look up 'Daniel Bruns' in Google

Michael Kirsten

This author has not been identified. Look up 'Michael Kirsten' in Google

Martin Mohr

This author has not been identified. Look up 'Martin Mohr' in Google