Fysikkbygningen øst (kart)
Sem Sælands vei 24
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.
Start date: 01.08.2017
Section: 2 - Statistics and biostatistics
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.
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.