@inproceedings{KuestersTruderungBeckertEA2015,
author = {Ralf K\"usters and Tomasz Truderung and Bernhard Beckert and
Daniel Bruns and Michael Kirsten and Martin Mohr},
title = {A Hybrid Approach for Proving Noninterference of {J}ava
Programs},
booktitle = {28th {IEEE} Computer Security Foundations
Symposium ({CSF} 2015)},
editor = {C\'edric Fournet and Michael W. Hicks and Luca Vigan\`o},
pages = {305--319},
publisher = {IEEE},
year = {2015}
}