International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

A Hybrid Approach for Proving Noninterference of Java Programs

Authors:
Ralf Küsters
Tomasz Truderung
Bernhard Beckert
Daniel Bruns
Michael Kirsten
Martin Mohr
Download:
URL: https://eprint.iacr.org/2015/438
Search ePrint
Search Google
BibTeX
@article{eprint-2015-26458,
  title={A Hybrid Approach for Proving Noninterference of Java Programs},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={438},
  url={https://eprint.iacr.org/2015/438},
  author={Ralf Küsters and Tomasz Truderung and Bernhard Beckert and Daniel Bruns and Michael Kirsten and Martin Mohr},
  year=2015
}