Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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

Reviewed Paper In Proceedings
Author(s):Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Jürgen Graf, and Christoph Scheben
In:Grande Region Security and Reliability Day (GRSRD 2013)
Year:2013
URL:https://grsrd.uni.lu/2013/papers/grsrd2013_submission_2.pdf

Note

Extended Abstract

BibTeX

@InProceedings{KuestersTruderungBeckertEA2013,
  author	= {Ralf K{\"u}sters and Tomasz Truderung and Bernhard Beckert
		   and Daniel Bruns and J{\"u}rgen Graf and Christoph Scheben},
  title		= {A Hybrid Approach for Proving Noninterference and
		   Applications to the Cryptographic Verification of {Java}
		   Programs},
  booktitle	= {Grande Region Security and Reliability Day (GRSRD 2013)},
  url		= {https://grsrd.uni.lu/2013/papers/grsrd2013_submission_2.pdf},
  year		= 2013,
  month		= apr,
  editor	= {Christian Hammer and Sjouke Mauw},
  address	= {Luxembourg},
  language	= {english},
  note		= {Extended Abstract}
}