Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 15/09/2005 → 05/05/2009 |
Funding
- DTU stipendium
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
-
A Verifiable Language for Cryptographic Protocols
Nielsen, C. R., May 2009, Kgs. Lyngby, Denmark: Technical University of Denmark. (IMM-PHD-2008-210).Research output: Book/Report › Ph.D. thesis
Open AccessFile758 Downloads (Orbit)