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
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
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
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
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, 13 September 2021 through 17 September 2021. Ed.: R. Heinrich, Code 172547, CEUR-WS.org
Hahner, S.
2021. Companion Proceedings of the 15th European Conference on Software Architecture, 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
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
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 |
Courses
| Title | Type | Semester |
|---|---|---|
| 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
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
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 |