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


Katriel Cohn-Gordon More by this author

Contributors

Role:
Examiner
Role:
Examiner
Role:
Supervisor
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



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

TO TOP