Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2016 |
Sprache | Englisch |
Identifikator | ISBN: 978-150901751-5 urn:nbn:de:swb:90-670663 KITopen-ID: 1000067066 |
Erschienen in | 1st IEEE European Symposium on Security and Privacy, EURO S and P 2016, Saarbrücken, 21 - 24 March, 2016 |
Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
Seiten | 357-371 |
Projektinformation | KASTEL_IoE (BMBF, 16KIS0346) |
Nachgewiesen in | Dimensions Scopus |