Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783731512752
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2022
- Schlagwort
-
Statische Analyse
Kontrollflussdiagramm
Program Slicing
Kontrollfluss
Abhängigkeitsgraph
Verifikation
Programmanalyse
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT Scientific Publishing
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
-
Snelting, Gregor
Hammer, Christian
- DOI
-
10.5445/KSP/1000155035
- URN
-
urn:nbn:de:101:1-2023060803394819368298
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Mohr, Martin
- Snelting, Gregor
- Hammer, Christian
- KIT Scientific Publishing
Entstanden
- 2023
Ähnliche Objekte (12)
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Advanced computational approaches to Biomedical engineering
Plan, lead, grow : systematic approaches to success
Advanced approaches to high intensity laser-driven ion acceleration
Approaches to Qualitative Comparative Analysis and good practices : A systematic review
The surgery and level-set approaches to mean curvature flow
Systematic Review of Multi-Omics Approaches to Investigate Toxicological Effects in Macrophages
Advanced turbulent flow computations
Approaches to prepositions
Approaches to language
Approaches to translation
Mixing model approaches to estimate storm flow sources in an overland flow-dominated tropical rain forest catchment
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Advanced computational approaches to Biomedical engineering
Plan, lead, grow : systematic approaches to success
Advanced approaches to high intensity laser-driven ion acceleration
Approaches to Qualitative Comparative Analysis and good practices : A systematic review
The surgery and level-set approaches to mean curvature flow
Systematic Review of Multi-Omics Approaches to Investigate Toxicological Effects in Macrophages
Advanced turbulent flow computations
Approaches to prepositions
Approaches to language
Approaches to translation
Mixing model approaches to estimate storm flow sources in an overland flow-dominated tropical rain forest catchment
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Advanced computational approaches to Biomedical engineering
Plan, lead, grow : systematic approaches to success
Advanced approaches to high intensity laser-driven ion acceleration
Approaches to Qualitative Comparative Analysis and good practices : A systematic review
The surgery and level-set approaches to mean curvature flow
Systematic Review of Multi-Omics Approaches to Investigate Toxicological Effects in Macrophages
Advanced turbulent flow computations
Approaches to prepositions
Approaches to language
Approaches to translation