Nettsider med emneord «AVISPA»

Publisert 30. juli 2019 16:31

This project involves working together with the Nokia Bell Labs in Finland on verifying the security properties of applications that they build using TPM (Trusted Platform Module) or Intel SGX (Software Guard Extenssions).

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.