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 (BMBF, 16KIS0346) |