Formal analysis of modern security protocols in current standards

Thesis

While research has been done in the past on evaluating standardised security protocols, most notably TLS, there is still room for improvement. Modern security protocols need to be rigorously and thoroughly analysed, ideally before they are widely deployed, so as to minimise the impact of often creative, powerful adversaries. We explore the potential vulnerabilities of modern security protocols specified in current standards, including TLS 1.2, TLS 1.3, and SSH. We introduce and formalise t...

Expand abstract

Authors: Horvat, M

• Type of award: DPhil
• Level of award: Doctoral
• Awarding institution: University of Oxford
• Keywords: actor key compromise; KCI; AKC; IEC; TLS; security standards; security protocols; standardisation; ISO; IETF
• Subjects: Formal methods; Symbolic verification; Formal verification; Security protocols