Thesis icon

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


Access Document


Files:

Authors


Contributors

Role:
Supervisor
Role:
Examiner
Role:
Examiner
More from this funder
Funding agency for:
Katriel Cohn-Gordon
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP