Secure Messaging with Crypho

Abstract

I denne oppgaven gir vi et overblikk over meldingsapplikasjonene, Crypho og Signal, som bruker ende-til-ende-kryptering med symmetrisk kryptering. Vi bruker en spill-basert metode til å undersøke sikkerheten til kanaler basert på disse systemene. Kanalene har chiffertekst integritet og konfidensialitet mot en aktiv angriper, gitt at deres underliggende symmetriske system gir integritet for chiffertekster og er sikker mot et ekte-eller-tilfeldig valgt tekstangrep. Videre sammenlignes systemene, og vi observerer at mens Signal har ekstra sikkerhetstiltak så har Crypho ekstra funksjonalitet.

In this thesis we give an overview of the messaging applications, Crypho and Signal, which utilize end-to-end encryption with a symmetric key encryption scheme. We use a game-based method to examine the security of channels based on these systems. In particular, we found that the channels provide ciphertext integrity and confidentiality against an active attacker, given that their underlying symmetric scheme provides integrity of ciphertexts and is secure against a real-or-random chosen plaintext attack. Furthermore, the thesis compare the systems and find that while Signal provides an additional security measure, Crypho has some additional functionality.