| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 16.06.2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-8-3315-2237-7 KITopen-ID: 1000182451 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | 2025 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, 12-15 May 2025 |
| Veranstaltung | 46th IEEE Symposium on Security and Privacy (2025), San Francisco, CA, USA, 12.05.2025 – 15.05.2025 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 55-73 |
| Serie | 1000175479 |
| Nachgewiesen in | Dimensions OpenAlex Scopus |
| Relationen in KITopen |