Sebastian Hahner, M.Sc.
- Researcher
- Group: Quality-driven System Evolution
- Office Hours: please make an appointment
- Room: 356.1
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
Kaplan, A.; Kühn, T.; Hahner, S.; Benkler, N.; Keim, J.; Fuchß, D.; Corallo, S.; Heinrich, R.
2022. Association for Computing Machinery (ACM). doi:10.5445/IR/1000145968
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
Kaplan, A.; Kühn, T.; Hahner, S.; Benkler, N.; Keim, J.; Fuchß, D.; Corallo, S.; Heinrich, R.
2022. EASE 2022: Evaluation and Assessment in Software Engineering, Association for Computing Machinery (ACM)
Hahner, S.
2021. Proceedings of the Software Engineering 2021 Satellite Events, 1–6, Gesellschaft für Informatik e.V. (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 |
|---|---|---|
| Architectural Access Control Policy Refinement and Verification under Uncertainty | ECSA'21, 09/21 | Slides, Publication |
| Modeling Data Flow Constraints for Design-Time Confidentiality Analyses | ICSA'21, 03/21 | Slides, Publication |
| Dealing with Uncertainty in Architectural Confidentiality Analysis | EMLS'21, 02/21 | Slides, Publication |
Courses
| Title | Type | Semester |
|---|---|---|
| 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
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 |