KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Küsters, Ralf; Truderung, Tomasz; Beckert, Bernhard ORCID iD icon; Bruns, Daniel; Graf, Jürgen; Scheben, Christoph


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2013
Sprache Englisch
Identifikator KITopen-ID: 1000034595
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in Grande Region Security and Reliability Day 2013. April 12, 2013, University of Luxembourg. Ed.: Ch. Hammer
Verlag Luxembourg
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Bemerkung zur Veröffentlichung Extended Abstract
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page