Kübler, Florian (2017)
Foundations of a refinement-based framework for escape analyses.
Technische Universität Darmstadt
Masterarbeit, Bibliographie
Typ des Eintrags: | Masterarbeit |
---|---|
Erschienen: | 2017 |
Autor(en): | Kübler, Florian |
Art des Eintrags: | Bibliographie |
Titel: | Foundations of a refinement-based framework for escape analyses |
Sprache: | Englisch |
Berater: | Eichberg, Michael |
Publikationsjahr: | Dezember 2017 |
Ort: | Darmstadt |
Freie Schlagworte: | Engineering;E1 |
ID-Nummer: | TUD-CS-2017-0337 |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik DFG-Sonderforschungsbereiche (inkl. Transregio) DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche Profilbereiche Profilbereiche > Cybersicherheit (CYSEC) DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen |
Hinterlegungsdatum: | 14 Mär 2018 14:53 |
Letzte Änderung: | 11 Nov 2019 12:17 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |