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]
@inproceedings{KustersTBBKM15-0,
title = {A Hybrid Approach for Proving Noninterference of Java Programs},
author = {Ralf Küsters and Tomasz Truderung and Bernhard Beckert and Daniel Bruns and Michael Kirsten and Martin Mohr},
year = {2015},
doi = {10.1109/CSF.2015.28},
url = {http://dx.doi.org/10.1109/CSF.2015.28},
researchr = {https://researchr.org/publication/KustersTBBKM15-0},
cites = {0},
citedby = {0},
pages = {305-319},
booktitle = {IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015},
editor = {Cédric Fournet and Michael W. Hicks and Luca Viganò},
publisher = {IEEE},
isbn = {978-1-4673-7538-2},
}