| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2026 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-032-04189-0 ISSN: 0302-9743 KITopen-ID: 1000183644 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Software Engineering and Advanced Applications. SEAA 2025. Ed.: D. Taibi |
| Veranstaltung | 51st Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2025), Salerno, Italien, 10.09.2025 – 12.09.2025 |
| Verlag | Springer |
| Seiten | 219-236 |
| Serie | Lecture Notes in Computer Science (LNCS) series ; 16081 |
| Vorab online veröffentlicht am | 08.09.2025 |
| Nachgewiesen in | Scopus |