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