A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs

@techreport{KuestersTruderungBeckertEA2014,
  author = {Ralf K\"usters and Tomasz Truderung and Bernhard Beckert and 
            Daniel Bruns and J\"urgen Graf and Christoph Scheben},
  title  = {A Hybrid Approach for Proving Noninterference and Applications to the 
            Cryptographic Verification of {J}ava Programs}, 
  series = {Technical Report},
  institution = {Universit\"at Trier},
  url = {https://infsec.uni-trier.de/publications/paper/KuestersTruderungBeckertetal-TR-HybridApproach-2014.pdf},
  year   = {2014},
  month = apr
}