Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsdatum | 08.07.2024 |
Sprache | Englisch |
Identifikator | ISBN: 979-84-00-70660-8 KITopen-ID: 1000173359 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
Erschienen in | Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science |
Veranstaltung | 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), Reval, Estland, 08.07.2024 – 11.07.2024 |
Verlag | Association for Computing Machinery (ACM) |
Seiten | 1–15 |
Nachgewiesen in | Scopus Dimensions |