Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research Units
Research output
Activities
Projects
Prizes
Press / Media
Datasets
Search by expertise, name or affiliation
Modeling and Verifying eID Protocols (Future ID)
Almousa, Omar
(PhD Student)
Mödersheim, Sebastian Alexander
(Main Supervisor)
Lluch Lafuente, Alberto
(Examiner)
Brucker, Achim D.
(Examiner)
Sprenger, Christoph
(Examiner)
Nielson, Hanne Riis
(Supervisor)
Overview
Fingerprint
Research output
(1)
Project Details
Status
Finished
Effective start/end date
15/12/2012
→
24/02/2016
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Internet Security
Computer Science
100%
Research output
Research output per year
2016
2016
2016
1
Ph.D. thesis
Research output per year
Research output per year
Security Protocols: Specification, Verification, Implementation, and Composition
Almousa, O.
,
2016
, Kgs. Lyngby:
Technical University of Denmark
.
164 p.
(DTU Compute PHD-2015; No. 391).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Internet Security
100%
1448
Downloads (Pure)