Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Typing and Compositionality for Stateful Security Protocols
Andreas Viktor Hess
Department of Applied Mathematics and Computer Science
Research output
:
Book/Report
›
Ph.D. thesis
286
Downloads (Orbit)
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Typing and Compositionality for Stateful Security Protocols'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Security protocols
100%
Authentication
33%
Attackers
33%
Automated Tool
33%
Shared Database
33%
Single Session
33%
Banking Application
33%
Complex Protocol
33%
Communication Networks
33%
public key
33%
Online Banking
33%
Keyphrases
TLS Protocol
7%
Condentiality
7%
Hijack
7%
Dishonest Participants
7%