Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Frederik Reiche

dblp:134/3050 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Systems and software security
information flow control
0.912025
Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025
Systems and software security › vulnerability analysis
information-flow vulnerability detection
0.912025
Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025
Program analysis
security analysis
0.912025
Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025
Requirements engineering and software design
software architecture
0.912025
Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025
Requirements engineering and software design › software architecture
software architecture analysis
0.912025
Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025
Program analysis
source code analysis
0.912025
Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025
Program analysis
static analysis
0.912025
Detecting Information Flow Security Vulnerabilities by Analysis Coupling · IEEE Trans. Software Eng. 2025
Software maintenance and evolution
software evolution
0.312025
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
YearPublicationVenuePosition
2025 Detecting Information Flow Security Vulnerabilities by Analysis Coupling
abstract
Security 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