Sebastian Hahner, M.Sc.
- 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 architectures with a special focus on uncertainty at design time. I am involved in FluidTrust and KASTEL-ESS, where I investigate continous software analysis and its application to mobility systems. I am also involved in the Team Project Software Development (TES) and advise students' theses as well as seminar and practical course topics and I am 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. If you're looking for a thesis, a seminar or practical course topic or a paid position as student assistant, just visit the Open topics!
Publications
Research Data
Dataset: Tool-Supported Architecture-Based Data Flow Analysis for Confidentiality
Schwickerath, F.; Boltz, N.; Hahner, S.; Walter, M.; Gerking, C.; Heinrich, R.
2023. doi:10.5281/zenodo.8119378
Schwickerath, F.; Boltz, N.; Hahner, S.; Walter, M.; Gerking, C.; Heinrich, R.
2023. doi:10.5281/zenodo.8119378
Reports/Preprints
Tool-Supported Architecture-Based Data Flow Analysis for Confidentiality
Schwickerath, F.; Boltz, N.; Hahner, S.; Walter, M.; Gerking, C.; Heinrich, R.
2023. arxiv. doi:10.48550/arXiv.2308.01645
Schwickerath, F.; Boltz, N.; Hahner, S.; Walter, M.; Gerking, C.; Heinrich, R.
2023. arxiv. doi:10.48550/arXiv.2308.01645
Conference Papers
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. 2023 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2023, 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. 2023 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2023, 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 AG. 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 AG. 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 AG. 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 AG. 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, 13 September 2021 through 17 September 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, 13 September 2021 through 17 September 2021. Ed.: R. Heinrich, Code 172547, CEUR-WS.org
Architectural Access Control Policy Refinement and Verification under Uncertainty
Hahner, S.
2021. Companion Proceedings of the 15th European Conference on Software Architecture, RWTH Aachen
Hahner, S.
2021. Companion Proceedings of the 15th European Conference on Software Architecture, 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
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
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
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
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 |
Courses
| Title | Type | Semester |
|---|---|---|
| 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
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
-
Moritz Brödel, "Preventing Automatic Code Plagiarism Generation Through Token String Normalization", Bachelor's thesis, 2023
-
Tobias Manske, "Integrating Architecture-based Confidentiality Analysis with Code-based Information Flow Analysis", Bachelor's thesis, 2023
Interested in similar topics for your bachelor's or master's thesis? Are you looking for a seminar or practical course topic or a paid position as student assistant? Head over to the Open topics!
Qualifications
- Certified Professional Scrum Product Owner (PSPO I), Scrum.org
- Certified Professional Scrum Master (PSM I), Scrum.org
Awards
- 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
Curriculum Vitae
| 2020 - present | Doctoral Researcher 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 |