Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsmonat/-jahr | 08.2022 |
Sprache | Englisch |
Identifikator | ISBN: 978-1-939133-31-1 KITopen-ID: 1000149190 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
Erschienen in | 31st USENIX Security Symposium (USENIX Security 22) |
Veranstaltung | 31st USENIX Security Symposium (2022), Boston, MA, USA, 10.08.2022 – 12.08.2022 |
Verlag | USENIX Association |
Seiten | 1849-1866 |
Externe Relationen | Konferenz |