Nettsider med emneord «Signal»

Publisert 23. aug. 2017 10:22

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.