Nettsider med emneord «AVISPA»

Publisert 16. okt. 2018 17:26

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. 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.