TU Darmstadt / ULB / TUbiblio

Foundations of a refinement-based framework for escape analyses

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

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: 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
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:

Optionen (nur für Redakteure)

View Item View Item