Sebastian Hahner, M.Sc.
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
Boltz, N.; Hahner, S.; Gerking, C.; Heinrich, R.
2024. arxiv. doi:10.48550/arXiv.2403.09402
Schwickerath, F.; Boltz, N.; Hahner, S.; Walter, M.; Gerking, C.; Heinrich, R.
2023. arxiv. doi:10.48550/arXiv.2308.01645
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
Hahner, S.; Niehues, N.; Boltz, N.; Fuksa, M.; Heinrich, R.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
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
Hahner, S.; Walter, M.; Heinrich, R.; Reussner, R.
2024. Software Engineering 2024 (SE 2024), 121–122, Gesellschaft für Informatik e.V. doi:10.18420/sw2024_38
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. 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.; 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.; 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
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.; 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.; 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
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)
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
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
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
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
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
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
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
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
Hahner, S.
2021. Proceedings of the Software Engineering 2021 Satellite Events, 1–6, Gesellschaft für Informatik (GI)
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
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.; 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
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
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
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
Hahner, S.
2016, October 31. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000140048
Hahner, S.
2020, August 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123271
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 |
---|---|---|
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 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
- 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
- Program Co-Chair, 14th Symposium on Software Performance (SSP), 2023
- Web Chair, 18th 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 Entwicklertage, since 2022
Curriculum Vitae (CV)
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 |
A comprehensive CV can be found on my Personal Website.