Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 15/12/2012 → 24/02/2016 |
Funding
- EU-finansieret
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.
Research output
- 1 Ph.D. thesis
-
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 AccessFile2034 Downloads (Pure)