Dr.-Ing. Frederik Reiche
- Researcher
- Group: Quality-driven System Evolution
- Office Hours: Please make an appointment
- Room: 238
CS 50.34 - Phone: +49 721 608-45992
- frederik reiche ∂does-not-exist.kit edu
- ORCID
Chair Prof. Reussner
KASTEL – Institute of Information Security and Dependability
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
Publications
Research Data
The EVerest Dataset for Secure Software Engineering | Version V3
Corallo, S.; Grupp, D.; Fuchß, D.; Keim, J.; Reiche, F.; Hey, T.; Koziolek, A.
2026, July 3. doi:10.5281/zenodo.21157836
Corallo, S.; Grupp, D.; Fuchß, D.; Keim, J.; Reiche, F.; Hey, T.; Koziolek, A.
2026, July 3. doi:10.5281/zenodo.21157836
Quantification of Correctness with Palladio and KeY: Case Study Data
Reiche, F.; Schiffl, J.; Weigl, A.
2021, February 1. doi:10.5445/IR/1000129008
Reiche, F.; Schiffl, J.; Weigl, A.
2021, February 1. doi:10.5445/IR/1000129008
Posters
What do you assume? A Theory of Security-Related Assumptions
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
Reports/Preprints
A Formalized Classification Schema for Model Consistency
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127
A Collection of Scenarios for the Decomposition and Composition of Model-based Analyses
Koch, S.; Reiche, F.; Weber, S.; Konersmann, M.; Stüber, S.; Wollenhaupt, L.; Taghavi, B.; Rumpe, B.; Heinrich, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161276
Koch, S.; Reiche, F.; Weber, S.; Konersmann, M.; Stüber, S.; Wollenhaupt, L.; Taghavi, B.; Rumpe, B.; Heinrich, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161276
Modeling and Verifying Access Control for Ethereum Smart Contracts
Reiche, F.; Schiffl, J.; Beckert, B.; Heinrich, R.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129607
Reiche, F.; Schiffl, J.; Beckert, B.; Heinrich, R.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129607
Model-driven Quantification of Correctness with Palladio and KeY
Reiche, F.; Schiffl, J.; Weigl, A.; Heinrich, R.; Beckert, B.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128855
Reiche, F.; Schiffl, J.; Weigl, A.; Heinrich, R.; Beckert, B.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128855
Conference Papers
Using Analysis Coupling to Detect Information Flow Security Vulnerabilities
Reiche, F.; Reussner, R.; Heinrich, R.
2026. 2026 Software Engineering, SE 2026, 175–176, Gesellschaft für Informatik (GI). doi:10.18420/se2026-66
Reiche, F.; Reussner, R.; Heinrich, R.
2026. 2026 Software Engineering, SE 2026, 175–176, Gesellschaft für Informatik (GI). doi:10.18420/se2026-66
The EVerest Dataset for Secure Software Engineering
Corallo, S.; Grupp, D.; Fuchß, D.; Keim, J.; Reiche, F.; Hey, T.; Koziolek, A.
2026. 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Association for Computing Machinery (ACM). doi:10.1145/3832783.3834614
Corallo, S.; Grupp, D.; Fuchß, D.; Keim, J.; Reiche, F.; Hey, T.; Koziolek, A.
2026. 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Association for Computing Machinery (ACM). doi:10.1145/3832783.3834614
Detecting Encryption Vulnerabilities By Coupling Architectural Analyses and Source Code Analyses
Reiche, F.; Heinrich, R.
2025. 2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C), Odense, Denmark, 31 March 2025 - 04 April 2025, 370–379, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C65153.2025.00059
Reiche, F.; Heinrich, R.
2025. 2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C), Odense, Denmark, 31 March 2025 - 04 April 2025, 370–379, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C65153.2025.00059
Consistency Management for Security Annotations for Continuous Verification
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620.3687821
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 1096–1105, Association for Computing Machinery (ACM). doi:10.1145/3652620.3687821
What do you assume? A Theory of Security-Related Assumptions
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 278–279, Association for Computing Machinery (ACM). doi:10.1145/3639478.3643070
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 278–279, Association for Computing Machinery (ACM). doi:10.1145/3639478.3643070
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
Lanzinger, F.; Martin, C.; Reiche, F.; Teuber, S.; Heinrich, R.; Weigl, A.
2024. SAC ’24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. Ed.: J. Hong, 1702–1711, Association for Computing Machinery (ACM). doi:10.1145/3605098.3636008
Lanzinger, F.; Martin, C.; Reiche, F.; Teuber, S.; Heinrich, R.; Weigl, A.
2024. SAC ’24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. Ed.: J. Hong, 1702–1711, Association for Computing Machinery (ACM). doi:10.1145/3605098.3636008
A Toolchain for Simulation Component Specification and Identification
Koch, S.; Reiche, F.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 75–89, Springer International Publishing. doi:10.1007/978-3-031-36889-9_7
Koch, S.; Reiche, F.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 75–89, Springer International Publishing. doi:10.1007/978-3-031-36889-9_7
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
Modeling and Enforcing Access Control Policies for Smart Contracts
Töberg, J.-P.; Schiffl, J.; Reiche, F.; Beckert, B.; Heinrich, R.; Reussner, R.
2022. Conference Proceedings: 2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 38–47, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAPPS55202.2022.00013
Töberg, J.-P.; Schiffl, J.; Reiche, F.; Beckert, B.; Heinrich, R.; Reussner, R.
2022. Conference Proceedings: 2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 38–47, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DAPPS55202.2022.00013
Towards a Correspondence Model for the Reuse of Software in Multiple Domains
Koch, S.; Reiche, F.
2019. 10. Workshop „Design For Future – Langlebige Softwaresysteme“, 41–42, Softwaretechnik-Trends
Koch, S.; Reiche, F.
2019. 10. Workshop „Design For Future – Langlebige Softwaresysteme“, 41–42, Softwaretechnik-Trends
Towards a metamodel for modular simulation environments
Koch, S.; Reiche, F.; Heinrich, R.
2018. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Kopenhagen, DK, October 14-19, 2018. Ed.: R. Hebig
Koch, S.; Reiche, F.; Heinrich, R.
2018. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Kopenhagen, DK, October 14-19, 2018. Ed.: R. Hebig
Journal Articles
Detecting Information Flow Security Vulnerabilities by Analysis Coupling
Reiche, F.; Reussner, R.; Heinrich, R.
2025. IEEE Transactions on Software Engineering, 51 (10), 2710–2743. doi:10.1109/TSE.2025.3589647
Reiche, F.; Reussner, R.; Heinrich, R.
2025. IEEE Transactions on Software Engineering, 51 (10), 2710–2743. doi:10.1109/TSE.2025.3589647
Master's Theses
Modularization Approaches in the Context of Monolithic Simulations. master’s thesis
Reiche, F.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000131811
Reiche, F.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000131811
PhD Theses
Coupling Architectural Analyses and Static Source Code Analyses for Detecting Security Vulnerabilities. PhD dissertation
Reiche, F.
2026, July 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000194775
Reiche, F.
2026, July 1. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000194775