Analyzing privacy-enhancing messaging protocol
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].
See s recent MSc thesis that one can build on.
More recent and popular is the Signal Protocol that one can focus on.