A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs
Küsters, Ralf; Truderung, Tomasz; Beckert, Bernhard
; Bruns, Daniel; Graf, Jürgen; Scheben, Christoph
; 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 (BMFTR, 01BY1172 / 16BY1172) |
| Bemerkung zur Veröffentlichung | Extended Abstract |