Fysikkbygningen øst (kart)
Sem Sælands vei 24
This projects involves working with typing systems (one needs background from a course like ) to guarantee security properties. A cases study of a security protocol will guide the work. Your work will start from investigating existing research papers on this topic, like [16, 11, 12, 2, 1], as well as studying the specification of a security protocol/ceremony, like ZRTP or OTR.