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.
Darmstadt, Technische Universität, [Master Thesis]

Item Type: Master Thesis
Erschienen: 2017
Creators: Kübler, Florian
Title: Foundations of a refinement-based framework for escape analyses
Language: English
Place of Publication: Darmstadt
Uncontrolled Keywords: Engineering;E1
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
Profile Areas
Profile Areas > Cybersecurity (CYSEC)
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
Date Deposited: 14 Mar 2018 14:53
Identification Number: TUD-CS-2017-0337
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item