CryptoDB
A Hybrid Approach for Proving Noninterference of Java Programs
Authors: | |
---|---|
Download: |
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 }