Thesis
On secure messaging
- Abstract:
-
What formal guarantees should a secure messaging application provide? Do the most widely-used protocols provide them? Can we do better? In this thesis we answer these questions and with them give a formal study of modern secure messaging protocols, which encrypt the personal messages of billions of users.
We give definitions and analyses of two protocols: one existing (Signal) and one new (ART). For Signal, we begin by extending and generalising classic computational models, in orde...
Expand abstract
Actions
Authors
Funding
Bibliographic Details
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:a6da6196-f216-4d57-9035-72903006197c
- Deposit date:
- 2018-10-19
Related Items
Terms of use
- Copyright holder:
- Cohn-Gordon, K; Katriel Cohn-Gordon
- Copyright date:
- 2018
- Licence:
- CC Attribution (CC BY)
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record