@techreport{KuestersTruderungBeckertEA2015b,
  title        = {A Hybrid Approach for Proving Noninterference of {J}ava
                  Programs},
  author       = {Ralf K\"usters and Tomasz Truderung and Bernhard Beckert and
                  Daniel Bruns and Michael Kirsten and Martin Mohr},
  institution  = {Cryptology ePrint Archive},
  number       = {2015/438},
  url          = {https://eprint.iacr.org/2015/438},
  year         = {2015}
}