Thesis icon

Thesis

Detecting the misuse of secrets: foundations, protocols, and verification

Abstract:

Secrets are the basis of most protocol security, enabling authentication and secrecy over untrusted channels even in the presence of active adversaries. The compromise and misuse of secrets can therefore undermine the properties that people and systems rely on for their security. In this thesis, we develop foundations and constructions for security protocols that can automatically detect, without false positives, if a secret such as a key or password has been misused. These constructions ...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Department:
University of Oxford
Role:
Author

Contributors

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