@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}
}