Blar i NTNU Open på forfatter "Cremers, Cas"
-
Highly Efficient Key Exchange Protocols with Optimal Tightness
Cohn-Gordon, Katriel; Cremers, Cas; Gjøsteen, Kristian; Jacobsen, Håkon; Jager, Tibor (Journal article; Peer reviewed, 2019)In this paper we give nearly tight reductions for modern implicitly authenticated Diffie-Hellman protocols in the style of the Signal and Noise protocols, which are extremely simple and efficient. Unlike previous approaches, ... -
Identity Protection, Secrecy and Authentication in Protocols with compromised Agents
Båtstrand, Anders Lindholm (Master thesis, 2009)The design of security protocols is given an increasing level of academic interest, as an increasing number of important tasks are done over the Internet. Among the fields being researched is formal methods for modeling ...