Fysikkbygningen øst (kart)
Sem Sælands vei 24
This project involves working with the protocol suite called Off-the-record OTR or the recent Signal protocol and applications like WhatsApp. The student will first learn about the specification of this protocol and about tools and techniques for analyzing security/communication protocols like Murphi from the Stanford security lab, the AVISPA, or the FDR3 from Oxford. The goal is to model the OTR protocol and analyze security/privacy properties of it. A starting point will be the papers [28, 30].