Browsing NTNU Open by Author "Cremers, Cas"

Now showing items 1-2 of 2

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