KIT | KIT-Bibliothek | Impressum | Datenschutz

Using Analysis Coupling to Detect Information Flow Security Vulnerabilities

Reiche, Frederik ORCID iD icon 1; Reussner, Ralf 1; Heinrich, Robert
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Abstract:

This talk is proposed based on the article Detecting Information Flow Security Vulnerabilities by Analysis Coupling, published in the journal IEEE Transactions on Software Engineering (Volume: 51, Issue: 10, October 2025) [RRH25]. The replication package for the evaluation is publicly available on Zenodo (https://doi.org/10.5281/zenodo.15266367).


Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2026
Sprache Englisch
Identifikator ISSN: 1617-5468
KITopen-ID: 1000196014
Erschienen in 2026 Software Engineering, SE 2026
Veranstaltung Software Engineering (SE 2026), Bern, Schweiz, 23.02.2026 – 27.02.2026
Verlag Gesellschaft für Informatik (GI)
Seiten 175 - 176
Serie P-377
Externe Relationen Siehe auch
Nachgewiesen in Scopus
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page