| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000072465 |
| Veranstaltung | Provable Security |
| Projektinformation | KASTEL_IoE (BMFTR, 16KIS0346) |