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 | Forschungsbericht |
Jahr | 2017 |
Sprache | Englisch |
Identifikator | urn:nbn:de:swb:90-927139 KITopen-ID: 1000092713 |
Verlag | TU Darmstadt, Darmstadt |
Umfang | 47 S. |
Projektinformation | SPP 1496 (DFG, DFG KOORD, BE 2334/6-1) |
Bemerkung zur Veröffentlichung | Technical Report TUD-CS-2017-0225 |