| 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 |