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.
No references recorded for this publication.
No citations of this publication recorded.