Nettsider med emneord «analysis»

Publisert 23. aug. 2017 10:27

You are interested in security protocols. Ceremonies are a new view which extends security protocols by integrating the human factor in the picture, as well as looking at the security protocol/system in entirety, making the assumptions explicit and composing several protocols for communication and security in the same analyses.

There are very few tools and formalisms for ceremonies, therefore you will have a lot of freedom. You will investigate and build a tool for ceremonies based on an existing tool for security protocols. You will investigate graphical languages and code generation, or you can look into how to analyze ceremonies.

See project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 10. aug. 2017 14:30
Publisert 4. aug. 2017 11:00

From Norway

Start date: 01.08.2017

Section: 2 - Statistics and biostatistics

Publisert 3. feb. 2017 11:27
Publisert 23. sep. 2016 13:51

Voice over IP (VoIP) is a technology for audio communications over IP which is wide spread. This project is concerned with protocols that this technology is based on, especially the Session Initiation Protocol (SIP) and the ZRTP encryption protocol. One would read and understand the specifications for these protocols (we choose one) and then work with formalisms and tools to model and analyze the respective protocol.

See project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 23. feb. 2014 19:38

This project involves looking into eVoting protocols with a special interest into the newly introduced Norwegian eVoting system.

Depending on the motivation and abilities of the student, this project can include a one semester exchange with IT University of Copenhagen. This project could also involve interaction with the Norwegian ministry of local government and modernization, which is taking care of implementing eVoting in Norway.

See project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.