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 project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

See s recent MSc thesis that one can build on.

More recent and popular is the Signal Protocol that one can focus on.

Tags: security, off-the-record, OTR, protocol, Signal, AVISPA, modelling
Published Aug. 23, 2017 10:22 AM - Last modified July 30, 2019 5:31 PM

Scope (credits)