@inproceedings{KuestersTruderungBeckertEA2013,
title = {A Hybrid Approach for Proving Noninterference and Applications
to the Cryptographic Verification of Java Programs},
author = {Ralf K\"usters and Tomasz Truderung and Bernhard Beckert and
Daniel Bruns and J\"urgen Graf and Christoph Scheben},
booktitle = {Grande Region Security and Reliability Day ({GRSRD} 2013)},
month = apr,
year = {2013}
}