A Hybrid Approach for Proving Noninterference of Java Programs

Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr. A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptology ePrint Archive, 2015:438, 2015. [doi]

@article{KustersTBBKM15,
  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},
  url = {http://eprint.iacr.org/2015/438},
  researchr = {https://researchr.org/publication/KustersTBBKM15},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2015},
  pages = {438},
}