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 architecture 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.
Publications
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]
Interested in similar topics for your bachelor's or master's thesis? Head over to the Open thesis 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 |