EDBT 2026 Demo / reviewers in the wild / expert
Frederik Reiche
dblp:134/3050
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2025
0000-0002-5993-0558ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 57% Requirements engineering and software design · 38% Software maintenance and evolution · 6% | |
| Network and information security
1 paper |
Systems and software security · 100% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security
information flow control |
0.9 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Systems and software security › vulnerability analysis
information-flow vulnerability detection |
0.9 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Program analysis
security analysis |
0.9 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Requirements engineering and software design
software architecture |
0.9 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Requirements engineering and software design › software architecture
software architecture analysis |
0.9 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Program analysis
source code analysis |
0.9 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Program analysis
static analysis |
0.9 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Software maintenance and evolution
software evolution |
0.3 | 1 | 2025 | Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025 |
Methods — techniques the papers use, named apart from their topics
metamodeling · 1.7analysis coupling · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Detecting Information Flow Security Vulnerabilities by Analysis CouplingabstractSecurity vulnerabilities originating from insecure information flows can violate the confidentiality of data, thereby negatively impacting individuals and service providers. This challenge gave rise to design-level analyses and source code analyses investigating information flow-related vulnerabilities. Architectural analysis, a type of design-level analysis, can detect security vulnerabilities by inspecting architectural models enriched with specifications of security-relevant information. However, the implementation may not comply with the architectural specification during software evolution. This non-compliance can result in the architectural analysis missing vulnerabilities. Consequently, vulnerabilities in the deployed system can be exploited, but the software engineers are left assuming the system to be secure. In this article, we address this problem of specification-related non-compliance by proposing a coupling approach that enables architectural analyses to use the values of security characteristics which are supplied from the implementation and retrieved by static source code analysis. Our coupling approach makes two contributions: a coupling process and the conditions necessary for the coupling (called integration conditions). In our coupling process, each process step performs transformations between the involved input and output models of the analyses. To enable the coupling, we define necessary integration conditions that must hold between the (meta)models of the analyses in the coupling. We generalize from specific analyses by specifying the integration conditions based on reference metamodels. In our evaluation, we inspect (1) the coverage of the reference metamodels by the metamodels of coupled analyses, (2) the coverage of the integration conditions by successful couplings, and (3) the accuracy of the coupled analysis in finding architectural vulnerabilities originating from a non-compliant implementation. The results of our case study show that the reference metamodels and the integration conditions are covered. We detect 60 true positive vulnerabilities and 5 false positive vulnerabilities. Upon this evidence, we conclude that the architectural analysis in the coupling is accurate in detecting vulnerabilities originating from non-compliant information flows in the implementation. Frederik Reiche, Ralf Reussner, Robert Heinrich |
IEEE Trans. Software Eng. | 1 |