TU Darmstadt / ULB / TUbiblio

Foundations of a refinement-based framework for escape analyses

Kübler, Florian (2017):
Foundations of a refinement-based framework for escape analyses.
TU Darmstadt, [Master Thesis]

Item Type: Master Thesis
Erschienen: 2017
Creators: Kübler, Florian
Title: Foundations of a refinement-based framework for escape analyses
Language: German
Uncontrolled Keywords: Engineering;E1
Divisions: 20 Department of Computer Science > Software Technology
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1119: CROSSING – Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
Profile Areas > Cybersecurity (CYSEC)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
20 Department of Computer Science
Profile Areas
DFG-Collaborative Research Centres (incl. Transregio)
Date Deposited: 14 Mar 2018 14:53
Identification Number: TUD-CS-2017-0337
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item