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

Technical Report

Author(s):Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Jürgen Graf, and Christoph Scheben
Institution:Universität Trier
Series:Technical Report
Year:2014
URL:http://infsec.uni-trier.de/publications/paper/KuestersTruderungBeckertetal-TR-HybridApproach-2014.pdf

BibTeX

@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 = {http://infsec.uni-trier.de/publications/paper/KuestersTruderungBeckertetal-TR-HybridApproach-2014.pdf},
  year   = {2014},
  month = apr
}