Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783731512752
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2022
- Keyword
-
Statische Analyse
Kontrollflussdiagramm
Program Slicing
Kontrollfluss
Abhängigkeitsgraph
Verifikation
Programmanalyse
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT Scientific Publishing
- (when)
-
2023
- Creator
- Contributor
-
Snelting, Gregor
Hammer, Christian
- DOI
-
10.5445/KSP/1000155035
- URN
-
urn:nbn:de:101:1-2023060803394819368298
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Mohr, Martin
- Snelting, Gregor
- Hammer, Christian
- KIT Scientific Publishing
Time of origin
- 2023
Other Objects (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