Transitioning Assurance Case Technology to Production—an Experience Report
Transitioning Assurance Case Technology to Production—an Experience Report
|
The software certification and approval process has long been a challenge in the |
|
The software certification and approval process has long been a challenge in the |
Applications are now open for the 2026 Marktoberdorf Summer School, a premier international program focused on engineering secure and dependable software systems.
Organized by fortiss and the Department of Informatics at Technische Universität München, and led by Peter Müller (ETH Zurich) and Alexander Pretschner (TU München, fortiss, bidt), the program brings together leading researchers and students to explore state-of-the-art approaches to building software systems that are both safe and secure.
ABSTRACT With the advancement of large language models, intelligent data analysis has been transformed through context-aware reasoning across diverse domains. In cybersecurity, these capabilities enable automated intrusion detection and anomaly classification from massive network traffic logs. However, fine-tuning language models on raw network data expose critical privacy risks, as logs may contain sensitive information such as IP addresses, payload signatures, and internal communication parameters. |