TU Darmstadt / ULB / TUbiblio

A Type System and an Implementation for Detecting the Lucky13 Vulnerability with SPASCA

Dix, Isabella (2018):
A Type System and an Implementation for Detecting the Lucky13 Vulnerability with SPASCA.
TU Darmstadt, [Master Thesis]

Item Type: Master Thesis
Erschienen: 2018
Creators: Dix, Isabella
Title: A Type System and an Implementation for Detecting the Lucky13 Vulnerability with SPASCA
Language: English
Uncontrolled Keywords: Engineering; E3
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
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: 04 Mar 2019 15:35
Referees: Weber, Alexandra and Mantel, Prof. Dr. Heiko
Export:

Optionen (nur für Redakteure)

View Item View Item