Thesis
Improving automated protocol verification: real world cryptography
- Abstract:
-
Analysing the security of cryptographic protocols by hand is a challenging endeavour. It requires substantial expertise, weeks of intensive effort and the resulting proof of security often arrives long after the protocol design has been finalised and even deployed. However, automated protocol verification tools, such as Tamarin and ProVerif, offer a compelling alternative as they require less expertise, promise quicker results and have been used to successfully analyse complex real world p...
Expand abstract
Actions
Authors
Contributors
+ Cremers, C
- Role:
- Supervisor
+ Simpson, A
- Role:
- Supervisor
+ Rasmussen, K
- Role:
- Examiner
- ORCID:
- 0000-0002-9471-9985
+ Guttman, J
- Role:
- Examiner
- DOI:
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
- Language:
-
English
- Keywords:
- Subjects:
- Deposit date:
-
2021-06-15
Terms of use
- Copyright holder:
- Jackson, D
- Copyright date:
- 2020
- Licence:
- CC Attribution-ShareAlike (CC BY-SA)
If you are the owner of this record, you can report an update to it here: Report update to this record