Dr.-Ing. Sebastian Hahner
- Postdoctoral Researcher
- Group: Quality-driven System Evolution
- Office Hours: please make an appointment
- Room: 238
CS 50.34 - hahner ∂does-not-exist.kit edu
Chair Prof. Reussner
KASTEL – Institute of Information Security and Dependability
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
About me
I am a researcher at KIT since 2020. My research is centered around confidentiality analysis for software architecture, focussing on uncertainty at design time. I was involved in FluidTrust and I am working in KASTEL-ESS, where I investigate continous software analysis and its application to mobility systems. I am teaching assistant for Software Engineering II, I'm involved in the Team Project Software Development (TES) and I advise students' theses, seminars and practical course topics. I lead the development of the research tooling for ABUNAI, data flow anaylsis, and I am a maintainer of the JPlag plagiarism detector. Besides my university activities, I have more than a decade of experience in video production and one of Germany's largest social media presence in tech education and computer science.
A full biography, CV, current projects, and publications can be found on my Personal Website.
Publications
Conference Papers
ARC³N: A Collaborative Uncertainty Catalog to Address the Awareness Problem of Model-Based Confidentiality Analysis
Hahner, S.; Niehues, N.; Boltz, N.; Fuksa, M.; Heinrich, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: M. Wimmer, 640–644, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688556
Hahner, S.; Niehues, N.; Boltz, N.; Fuksa, M.; Heinrich, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: M. Wimmer, 640–644, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688556
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems
Camara, J.; Hahner, S.; Perez-Palacin, D.; Vallecillo, A.; Acosta, M.; Bencomo, N.; Calinescu, R.; Gerasimou, S.
2024. SEAMS ’24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems; New York, 37 – 43, Association for Computing Machinery (ACM). doi:10.1145/3643915.3644084
Camara, J.; Hahner, S.; Perez-Palacin, D.; Vallecillo, A.; Acosta, M.; Bencomo, N.; Calinescu, R.; Gerasimou, S.
2024. SEAMS ’24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems; New York, 37 – 43, Association for Computing Machinery (ACM). doi:10.1145/3643915.3644084
An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
Boltz, N.; Hahner, S.; Gerking, C.; Heinrich, R.
2024. Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers. Ed.: B. Tekinerdoğan, 342–358, Springer. doi:10.1007/978-3-031-66326-0_21
Boltz, N.; Hahner, S.; Gerking, C.; Heinrich, R.
2024. Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers. Ed.: B. Tekinerdoğan, 342–358, Springer. doi:10.1007/978-3-031-66326-0_21
Architecture-based Propagation Analyses Regarding Security
Hahner, S.; Walter, M.; Heinrich, R.; Reussner, R.
2024. Software Engineering 2024 (SE 2024), 121–122, Gesellschaft für Informatik (GI). doi:10.18420/sw2024_38
Hahner, S.; Walter, M.; Heinrich, R.; Reussner, R.
2024. Software Engineering 2024 (SE 2024), 121–122, Gesellschaft für Informatik (GI). doi:10.18420/sw2024_38
Obfuscation-Resilient Software Plagiarism Detection with JPlag
Sağlam, T.; Hahner, S.; Schmid, L.; Burger, E.
2024. 46th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3639478.3643074
Sağlam, T.; Hahner, S.; Schmid, L.; Burger, E.
2024. 46th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3639478.3643074
Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments
Sağlam, T.; Hahner, S.; Schmid, L.; Burger, E.
2024. Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, ICSE SEET ’24, Lissabon, 14th-20th April 2024, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3639474.3640084
Sağlam, T.; Hahner, S.; Schmid, L.; Burger, E.
2024. Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, ICSE SEET ’24, Lissabon, 14th-20th April 2024, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3639474.3640084
Detecting Automatic Software Plagiarism via Token Sequence Normalization
Sağlam, T.; Brödel, M.; Schmid, L.; Hahner, S.
2024. Proceedings of the 46th International Conference on Software Engineering, ICSE ’24, Lissabon, April 14-20, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3597503.3639192
Sağlam, T.; Brödel, M.; Schmid, L.; Hahner, S.
2024. Proceedings of the 46th International Conference on Software Engineering, ICSE ’24, Lissabon, April 14-20, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3597503.3639192
How Students Plagiarize Modeling Assignments
Sağlam, T.; Schmid, L.; Hahner, S.; Burger, E.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, 1st - 6th October 2023, 98 – 101, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00032
Sağlam, T.; Schmid, L.; Hahner, S.; Burger, E.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, 1st - 6th October 2023, 98 – 101, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00032
Architecture-Based Uncertainty Impact Analysis to Ensure Confidentiality
Hahner, S.; Heinrich, R.; Reussner, R.
2023. 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 126–132, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAMS59076.2023.00026
Hahner, S.; Heinrich, R.; Reussner, R.
2023. 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 126–132, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAMS59076.2023.00026
Model-based Confidentiality Analysis under Uncertainty
Hahner, S.; Bitschi, T.; Walter, M.; Bureš, T.; Hnětynka, P.; Heinrich, R.
2023. 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C), 256–263, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C57050.2023.00062
Hahner, S.; Bitschi, T.; Walter, M.; Bureš, T.; Hnětynka, P.; Heinrich, R.
2023. 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C), 256–263, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C57050.2023.00062
A Classification of Software-Architectural Uncertainty Regarding Confidentiality
Hahner, S.; Seifermann, S.; Heinrich, R.; Reussner, R.
2023. E-Business and Telecommunications : 18th International Conference, ICETE 2021, Virtual Event, July 6–9, 2021, 139–160, Springer International Publishing. doi:10.1007/978-3-031-36840-0_8
Hahner, S.; Seifermann, S.; Heinrich, R.; Reussner, R.
2023. E-Business and Telecommunications : 18th International Conference, ICETE 2021, Virtual Event, July 6–9, 2021, 139–160, Springer International Publishing. doi:10.1007/978-3-031-36840-0_8
Evaluation Methods and Replicability of Software Architecture Research Objects
Konersmann, M.; Kaplan, A.; Kühn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2023. Software Engineering 2023 : Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn. Ed.: G. Engels; M. Tichy, 75–76, Gesellschaft für Informatik (GI)
Konersmann, M.; Kaplan, A.; Kühn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2023. Software Engineering 2023 : Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn. Ed.: G. Engels; M. Tichy, 75–76, Gesellschaft für Informatik (GI)
Token-based plagiarism detection for metamodels
Sağlam, T.; Hahner, S.; Wittler, J. W.; Kühn, T.
2022. MODELS ’22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsOctober 2022, 138–141, Association for Computing Machinery (ACM). doi:10.1145/3550356.3556508
Sağlam, T.; Hahner, S.; Wittler, J. W.; Kühn, T.
2022. MODELS ’22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsOctober 2022, 138–141, Association for Computing Machinery (ACM). doi:10.1145/3550356.3556508
Handling Environmental Uncertainty in Design Time Access Control Analysis
Boltz, N.; Hahner, S.; Walter, M.; Seifermann, S.; Heinrich, R.; Bures, T.; Hnetynka, P.
2022. 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Gran Canaria, Spain, 31 August 2022 - 02 September 2022, 382–389, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA56994.2022.00067
Boltz, N.; Hahner, S.; Walter, M.; Seifermann, S.; Heinrich, R.; Bures, T.; Hnetynka, P.
2022. 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Gran Canaria, Spain, 31 August 2022 - 02 September 2022, 382–389, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA56994.2022.00067
Evaluation Methods and Replicability of Software Architecture Research Objects
Konersmann, M.; Kaplan, A.; Kuhn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2022. 2022 IEEE 19th International Conference on Software Architecture (ICSA), Honolulu, HI, USA, 12-15 March 2022, 157–168, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA53651.2022.00023
Konersmann, M.; Kaplan, A.; Kuhn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2022. 2022 IEEE 19th International Conference on Software Architecture (ICSA), Honolulu, HI, USA, 12-15 March 2022, 157–168, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA53651.2022.00023
Continuous Secure Software Development and Analysis
Schulz, S.; Reiche, F.; Hahner, S.; Schiffl, J.
2022. Symposium on Software Performance 2021 : Short Paper Proceedings of Symposium on Software Performance, Leipzig, Germany, November 9.-10., 2021. Ed.: D. G. Reichelt, R. Müller, S. Becker, W. Hasselbring, A. v. Hoorn, S. Kounev, A. Koziolek, R. Reussner, RWTH Aachen
Schulz, S.; Reiche, F.; Hahner, S.; Schiffl, J.
2022. Symposium on Software Performance 2021 : Short Paper Proceedings of Symposium on Software Performance, Leipzig, Germany, November 9.-10., 2021. Ed.: D. G. Reichelt, R. Müller, S. Becker, W. Hasselbring, A. v. Hoorn, S. Kounev, A. Koziolek, R. Reussner, RWTH Aachen
Uncertainty in coupled models of cyber-physical systems
Acosta, M.; Hahner, S.; Koziolek, A.; Kühn, T.; Mirandola, R.; Reussner, R.
2022. Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 569–578, Association for Computing Machinery (ACM). doi:10.1145/3550356.3561539
Acosta, M.; Hahner, S.; Koziolek, A.; Kühn, T.; Mirandola, R.; Reussner, R.
2022. Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 569–578, Association for Computing Machinery (ACM). doi:10.1145/3550356.3561539
Attuning Adaptation Rules via a Rule-Specific Neural Network
Bureš, T.; Hnětynka, P.; Kruliš, M.; Plášil, F.; Khalyeyev, D.; Hahner, S.; Seifermann, S.; Walter, M.; Heinrich, R.
2022. Leveraging Applications of Formal Methods, Verification and Validation. Proceedings. Vol. 3. Ed.: T. Margaria, 215–230, Springer Nature Switzerland. doi:10.1007/978-3-031-19759-8_14
Bureš, T.; Hnětynka, P.; Kruliš, M.; Plášil, F.; Khalyeyev, D.; Hahner, S.; Seifermann, S.; Walter, M.; Heinrich, R.
2022. Leveraging Applications of Formal Methods, Verification and Validation. Proceedings. Vol. 3. Ed.: T. Margaria, 215–230, Springer Nature Switzerland. doi:10.1007/978-3-031-19759-8_14
Architectural Optimization for Confidentiality Under Structural Uncertainty
Walter, M.; Hahner, S.; Seifermann, S.; Bures, T.; Hnetynka, P.; Pacovský, J.; Heinrich, R.
2022. Software Architecture : 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021 : Revised Selected Papers. Ed.: P. Scandurra, 309–332, Springer Nature Switzerland. doi:10.1007/978-3-031-15116-3_14
Walter, M.; Hahner, S.; Seifermann, S.; Bures, T.; Hnetynka, P.; Pacovský, J.; Heinrich, R.
2022. Software Architecture : 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021 : Revised Selected Papers. Ed.: P. Scandurra, 309–332, Springer Nature Switzerland. doi:10.1007/978-3-031-15116-3_14
Introducing an Evaluation Method for Taxonomies
Kaplan, A.; Kühn, T.; Hahner, S.; Benkler, N.; Keim, J.; Fuchß, D.; Corallo, S.; Heinrich, R.; Corallo, S.; Heinrich, R.
2022. EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022. Ed.: M. Staron, 311–316, Association for Computing Machinery (ACM). doi:10.1145/3530019.3535305
Kaplan, A.; Kühn, T.; Hahner, S.; Benkler, N.; Keim, J.; Fuchß, D.; Corallo, S.; Heinrich, R.; Corallo, S.; Heinrich, R.
2022. EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022. Ed.: M. Staron, 311–316, Association for Computing Machinery (ACM). doi:10.1145/3530019.3535305
Dealing with Uncertainty in Architectural Confidentiality Analysis
Hahner, S.
2021. Proceedings of the Software Engineering 2021 Satellite Events, 1–6, Gesellschaft für Informatik (GI)
Hahner, S.
2021. Proceedings of the Software Engineering 2021 Satellite Events, 1–6, Gesellschaft für Informatik (GI)
Identifying confidentiality violations in architectural design using palladio
Seifermann, S.; Walter, M.; Hahner, S.; Heinrich, R.; Reussner, R.
2021. W. D. W. D. Heinrich R. Mirandola R. (Ed.), 15th European Conference on Software Architecture - Companion (ECSA-C 2021), Virtual online (originally: Växjö, Sweden), September, 13-17, 2021. Ed.: R. Heinrich, Code 172547, CEUR-WS.org
Seifermann, S.; Walter, M.; Hahner, S.; Heinrich, R.; Reussner, R.
2021. W. D. W. D. Heinrich R. Mirandola R. (Ed.), 15th European Conference on Software Architecture - Companion (ECSA-C 2021), Virtual online (originally: Växjö, Sweden), September, 13-17, 2021. Ed.: R. Heinrich, Code 172547, CEUR-WS.org
Architectural Access Control Policy Refinement and Verification under Uncertainty
Hahner, S.
2021. 15th European Conference on Software Architecture - Companion (ECSA-C 2021), Virtual online (originally: Växjö, Sweden), September, 13-17, 2021. Ed.: R. Heinrich, RWTH Aachen
Hahner, S.
2021. 15th European Conference on Software Architecture - Companion (ECSA-C 2021), Virtual online (originally: Växjö, Sweden), September, 13-17, 2021. Ed.: R. Heinrich, RWTH Aachen
Modeling Data Flow Constraints for Design-Time Confidentiality Analyses
Hahner, S.; Seifermann, S.; Heinrich, R.; Walter, M.; Bures, T.; Hnetynka, P.
2021. Proceedings IEEE 18th International Conference on Software Architecture - Companion: ICSA-C 2021 ; 22 - 26 March 2021 ; virtual conference, 15–21, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C52384.2021.00009
Hahner, S.; Seifermann, S.; Heinrich, R.; Walter, M.; Bures, T.; Hnetynka, P.
2021. Proceedings IEEE 18th International Conference on Software Architecture - Companion: ICSA-C 2021 ; 22 - 26 March 2021 ; virtual conference, 15–21, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C52384.2021.00009
Journal Articles
Towards a Data Flow Diagram-Centric Confidentiality Analysis in Palladio
Hüller, T.; Schwickerath, F.; Arp, B.; Niehues, N.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Hüller, T.; Schwickerath, F.; Arp, B.; Niehues, N.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Integrating Security-Enriched Data Flow Diagrams Into Architecture-Based Confidentiality Analysis
Niehues, N.; Arp, B.; Hüller, T.; Schwickerath, F.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Niehues, N.; Arp, B.; Hüller, T.; Schwickerath, F.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Analyzing Cyclic Data Flow Diagrams Regarding Information Security
Arp, B.; Niehues, N.; Hüller, T.; Schwickerath, F.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Arp, B.; Niehues, N.; Hüller, T.; Schwickerath, F.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems
Weyns, D.; Calinescu, R.; Mirandola, R.; Tei, K.; Acosta, M.; Bencomo, N.; Bennaceur, A.; Boltz, N.; Bures, T.; Camara, J.; Diaconescu, A.; Engels, G.; Gerasimou, S.; Gerostathopoulos, I.; Getir Yaman, S.; Grassi, V.; Hahner, S.; Letier, E.; Litoiu, M.; Marsso, L.; Musil, A.; Musil, J.; Nunes Rodrigues, G.; Perez-Palacin, D.; Quin, F.; Scandurra, P.; Vallecillo, A.; Zisman, A.
2023. ACM SIGSOFT Software Engineering Notes, 48 (4), 20–36. doi:10.1145/3617946.3617951
Weyns, D.; Calinescu, R.; Mirandola, R.; Tei, K.; Acosta, M.; Bencomo, N.; Bennaceur, A.; Boltz, N.; Bures, T.; Camara, J.; Diaconescu, A.; Engels, G.; Gerasimou, S.; Gerostathopoulos, I.; Getir Yaman, S.; Grassi, V.; Hahner, S.; Letier, E.; Litoiu, M.; Marsso, L.; Musil, A.; Musil, J.; Nunes Rodrigues, G.; Perez-Palacin, D.; Quin, F.; Scandurra, P.; Vallecillo, A.; Zisman, A.
2023. ACM SIGSOFT Software Engineering Notes, 48 (4), 20–36. doi:10.1145/3617946.3617951
Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0
Walter, M.; Hahner, S.; Bureš, T.; Hnětynka, P.; Heinrich, R.; Reussner, R.
2023. at - Automatisierungstechnik, 71 (6), 443–452. doi:10.1515/auto-2022-0135
Walter, M.; Hahner, S.; Bureš, T.; Hnětynka, P.; Heinrich, R.; Reussner, R.
2023. at - Automatisierungstechnik, 71 (6), 443–452. doi:10.1515/auto-2022-0135
Generating adaptation rule-specific neural networks
Bureš, T.; Hnětynka, P.; Kruliš, M.; Plášil, F.; Khalyeyev, D.; Hahner, S.; Seifermann, S.; Walter, M.; Heinrich, R.
2023. International Journal on Software Tools for Technology Transfer, 25, 733–746. doi:10.1007/s10009-023-00725-y
Bureš, T.; Hnětynka, P.; Kruliš, M.; Plášil, F.; Khalyeyev, D.; Hahner, S.; Seifermann, S.; Walter, M.; Heinrich, R.
2023. International Journal on Software Tools for Technology Transfer, 25, 733–746. doi:10.1007/s10009-023-00725-y
Bachelor's Theses
Inkrementelle Aktualisierungstechniken für Modelle und ihre Datenbankrepräsentation. bachelor’s thesis
Hahner, S.
2016, October 31. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000140048
Hahner, S.
2016, October 31. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000140048
Master's Theses
Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs. master’s thesis
Hahner, S.
2020, August 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123271
Hahner, S.
2020, August 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123271
PhD Theses
Architecture-Based and Uncertainty-Aware Confidentiality Analysis. PhD dissertation
Hahner, S.
2025, February 11. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000178700
Hahner, S.
2025, February 11. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000178700
Book Chapters
Dynamic Access Control in Industry 4.0 Systems
Heinrich, R.; Seifermann, S.; Walter, M.; Hahner, S.; Reussner, R.; Bureš, T.; Hnětynka, P.; Pacovský, J.
2023. Digital Transformation. Ed.: B. Vogel-Heuser, 143–170, Springer Vieweg. doi:10.1007/978-3-662-65004-2_6
Heinrich, R.; Seifermann, S.; Walter, M.; Hahner, S.; Reussner, R.; Bureš, T.; Hnětynka, P.; Pacovský, J.
2023. Digital Transformation. Ed.: B. Vogel-Heuser, 143–170, Springer Vieweg. doi:10.1007/978-3-662-65004-2_6
Preprints
In additional to the official publications, I provide a couple of selected preprints on my personal website.
| Title | Venue | Material |
|---|---|---|
| Architecture-Based and Uncertainty-Aware Confidentiality Analysis | Dissertation | Publication |
| Mitigating Obfuscation Attacks on Software Plagiarism Detectors via Subsequence Merging | CSEET '25 | Publication |
| JPlag: Detecting Obfuscated Software Plagiarism using Token Normalization Graphs | SE '25 | Publication |
| Integrating Security-Enriched Data Flow Diagrams Into Architecture-Based Confidentiality Analysis | SSP '24 | Publication |
| Towards a Data Flow Diagram-Centric Confidentiality Analysis in Palladio | SSP '24 | Publication |
| Analyzing Cyclic Data Flow Diagrams Regarding Information Security | SSP '24 | Publication |
| ARC³N: A Collaborative Uncertainty Catalog to Address the Awareness Problem of Model-Based Confidentiality Analysis | MODELS-C '24 | Publication |
| Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems | SEAMS '24 | Publication |
| Detecting Automatic Software Plagiarism via Token Sequence Normalization | ICSE '24 | Publication |
| Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments | ICSE-SEET '24 | Publication |
| Obfuscation-Resilient Software Plagiarism Detection with JPlag | ICSE-C '24 | Publication |
| An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security | ECSA '24 | Publication |
| Architecture-Based Uncertainty Impact Analysis to Ensure Confidentiality | SEAMS '23 | Publication |
| Model-based Confidentiality Analysis under Uncertainty | ICSA-C '23 | Publication |
| A Classification of Software-Architectural Uncertainty Regarding Confidentiality | ICETE '23 | Publication |
| How Students Plagiarize Modeling Assignments | MODELS-C '23 | Publication |
| Attuning Adaptation Rules via a Rule-Specific Neural Network | ISoLA'22 | Publication |
| Handling Environmental Uncertainty in Design Time Access Control Analysis | SEAA '22 | Publication |
| Architectural Optimization for Confidentiality Under Structural Uncertainty | ECSA '22 | Publication |
| Uncertainty in coupled models of cyber-physical systems | MODELS-C '22 | Publication |
| Dealing with Uncertainty in Architectural Confidentiality Analysis | EMLS '21 | Publication |
Conferences and Workshops
| Title | Event | Material |
|---|---|---|
| Dealing with Uncertainty in Architectural Confidentiality Analysis | EMLS'21, virtual | Slides, Publication |
| Modeling Data Flow Constraints for Design-Time Confidentiality Analyses | ICSA'21, virtual | Slides, Publication |
| Architectural Access Control Policy Refinement and Verification under Uncertainty | ECSA'21, virtual | Slides, Publication |
| Handling Environmental Uncertainty in Design Time Access Control Analysis | SEAA'22, Spain | Slides, Publication |
| Uncertainty in Coupled Models of Cyber-Physical Systems | MODELS'22, Canada | Slides, Publication |
| Model-based Confidentiality Analysis under Uncertainty | ICSA'23, Italy | Slides, Publication |
| Architecture-based Uncertainty Impact Analysis to Ensure Confidentiality | SEAMS'23, Australia | Slides, Publication |
| Architecture-based Propagation Analyses Regarding Security | SE'24, Linz | Slides, Publication |
Courses
| Title | Type | Semester |
|---|---|---|
| Software Engineering II | Lecture | WS 24/25 |
| Practical Course Engineering Approaches to Software Development | Practical Course | WS 24/25 |
| Software Engineering II | Lecture | WS 23/24 |
| Seminar Data in Software-intensive Technical Systems – Modeling – Analysis – Protection | Seminar | WS 23/24 |
| Practical Course Engineering Approaches to Software Development | Practical Course | WS 23/24 |
| Practical Course Engineering Approaches to Software Development | Practical Course | SS 23 |
| Proseminar Software Requirements and Design | Seminar | SS 23 |
| Proseminar Software-Sustainability | Seminar | SS 23 |
| Team Project Software Development (TES) | Practical Course | WS 22/23 |
| Practical Course Engineering Approaches to Software Development | Practical Course | WS 22/23 |
| Team Project Software Development (TES) | Practical Course | SS 22 |
| Practical Course Engineering Approaches to Software Development | Practical Course | SS 22 |
| Proseminar Software Requirements and Design | Seminar | SS 22 |
| Team Project Software Development (TES) | Practical Course | WS 21/22 |
| Practical Course Engineering Approaches to Software Development | Practical Course | WS 21/22 |
| Seminar Data in Software-intensive Technical Systems – Modeling – Analysis – Protection | Seminar | WS 21/22 |
| Proseminar Software Requirements and Design | Seminar | SS 21 |
| Proseminar Software Catastrophes | Seminar | SS 21 |
| Seminar Data in Software-intensive Technical Systems – Modeling – Analysis – Protection | Seminar | WS 20/21 |
| Team Project Software Development (TES) | Practical Course | WS 20/21 |
Supervised Topics (Excerpt)
- Overview and Comparison of Access Control Models
- Definition of Confidentiality Requirements
- Realization of Confidentiality Requirements by Using Access Control
- Open Source vs. Proprietary Software Development: Comparison and Tradeoff
- The Cambridge Analytica Scandal
- Generating Model Variants for Security Analyses
- Modernization of the JPlag Web Reporting System
- Development of a Web Platform for Coding Challenges
- Visualization of Confidential Data in Mobility Systems
- Comparison of Open Mobility Standards regarding Confidentiality
- Learning from Unknown Unknowns: Sustainability in the face of Uncertainty
- Mitigation Strategies of Architectural Uncertainty regarding Confidentiality
- Graphical Representation of Data Flow Diagrams
- Metamodeling of Data Flow Diagrams
- Eclipse UI Development for Data Flow Analysis
Supervised Theses
-
Nicolas Boltz, "Architectural Uncertainty Analysis for Access Control Scenarios in Industry 4.0", Master's thesis, 2021 [http | pdf]
-
Daniel Stengel, "Uncertainty-Aware Design-Time Access Control Policy Refinement", Master's thesis, 2021
-
Oliver Liu, "Design Space Evaluation for Confidentiality under Architectural Uncertainty", Bachelor's thesis, 2021 [http | pdf]
-
Niko Benkler, "Architecture-based Uncertainty Impact Analysis for Confidentiality", Master's thesis, 2022 [http | pdf]
-
Jonathan Schenkenberger, "Architectural Generation of Context-based Attack Paths", Master's thesis, 2022
-
Pascal Krieg, "Preventing Code Insertion Attacks on Token-Based Software Plagiarism Detectors", Bachelor's thesis, 2022
-
Denis Priss, "A Mobility Case Study Framework for Validating Uncertainty Impact Analyses regarding Confidentiality", Bachelor's thesis, 2022 [http | pdf]
-
Tizian Bitschi, "Uncertainty-aware Confidentiality Analysis Using Architectural Variations", Bachelor's thesis, 2022 [http | pdf]
-
Yakup Ensar Evli, "A Mobility Case Study for Validating Attack Propagation Analyses", Bachelor's thesis, 2022 [http | pdf]
-
Fabian Palitza, "Case Study on Privacy in Connected-Car Systems", Bachelor's thesis, 2023
-
Jonas Strittmatter, "Token-Based Plagiarism Detection for Statecharts", Bachelor's thesis, 2023 [http | pdf]
-
Moritz Brödel, "Preventing Automatic Code Plagiarism Generation Through Token String Normalization", Bachelor's thesis, 2023 [http | pdf]
-
Tobias Manske, "Integrating Architecture-based Confidentiality Analysis with Code-based Information Flow Analysis", Bachelor's thesis, 2023
-
Tom Hüller, Automated Consistency of Legal and Software Architecture System Specifications for Data Protection Analysis, Bachelor's thesis, 2023
-
Gabriel Gehrig, Enabling the Collaborative Collection of Uncertainty Sources Regarding Confidentiality, Bachelor's thesis, 2023 [http | pdf]
-
Martina Huber, Überführen von Systemarchitekturmodellen in die datenschutzrechtliche Domäne durch Anwenden der DSGVO, Bachelor's thesis, 2023
-
Nils Niehues, Intelligent Match Merging to Prevent Obfuscation Attacks on Software Plagiarism Detectors, Master's thesis, 2023 [http | pdf]
Qualifications
- Certified Professional Scrum Product Owner (PSPO I), Scrum.org
- Certified Professional Scrum Master (PSM I), Scrum.org
- Baden-Württemberg Certificate for Teaching and Learning at University Level (HDZ)
- Software Campus Certificate "Software Innovations for Digital Enterprise"
Awards
- Distinction for Dissertation (2024), Karlsruhe Institute of Technology (KIT)
- VKSI Award for an excellent thesis in applied software engineering (2021), Verein der Karlsruher Software-Ingenieure e.V./VKSI
- YouTube Creator Award for surpassing 100,000 channel subscribers (2015), Google
- Microsoft Imagine Cup German finalists, 2. Place in national finals (2015), Microsoft
- Microsoft Imagine Cup German finalists, 2. Place in national finals (2014), Microsoft
Community Activities
↵
- Student Volunteer Co-Chair, GI Software Engineering (SE), 2025
- Dagstuhl Seminar Participant and Co-Author, Resilience and Antifragility of Autonomous Systems (24182), 2024
- Reviewer for IEEE Transactions on Software Engineering (TSE), Elsevier Journal of Systems and Software (JSS), and ACM Computing Surveys (CSUR), 2024
- Program Co-Chair, 14th Symposium on Software Performance (SSP), 2023
- Web Chair, 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023
- Bertinoro Seminar Participant and Co-Author, Bertinoro Seminar on Uncertainty in Self-Adaptive Systems (USAS), 2023
- Advisory Board Member, Karlsruher Entwicklertag, since 2022
Curriculum Vitae (CV)
| 2024 - present | Postdoctoral Researcher at the KASTEL Institute of Information Security and Dependability, Karlsruhe Institute of Technology (KIT) |
| 2020 - 2024 | Doctoral Researcher (Dr.-Ing.) at the KASTEL Institute of Information Security and Dependability, Karlsruhe Institute of Technology (KIT) |
| 2017 - 2020 | Studies of Computer Science (M.Sc.) at the Karlsruhe Institute of Technology (KIT) |
| 2012 - 2017 | Studies of Computer Science (B.Sc.) at the Karlsruhe Institute of Technology (KIT) |
| 2012 - present | Self-employed Web-Video-Creator |
| 2012 | Abitur at Gymnasium am Deutenberg, Villingen-Schwenningen |
A comprehensive CV can be found on my Personal Website.