• 0-RTT Key Exchange with Full Forward Secrecy 

      Günther, Felix; Hale, Britta; Jager, Tibor; Lauer, Sebastian (Chapter, 2017)
      Reducing latency overhead while maintaining critical security guarantees like forward secrecy has become a major design goal for key exchange (KE) protocols, both in academia and industry. Of particular interest in this ...
    • From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS 

      Boyd, Colin Alexander; Hale, Britta; Mjølsnes, Stig Frode; Stebila, Douglas (Chapter, 2016)
      Authentication and authenticated encryption with associated data (AEAD) are applied in cryptographic protocols to provide message integrity. The definitions in the literature and the constructions used in practice all ...
    • Secure channels and termination: The last word on TLS 

      Boyd, Colin Alexander; Hale, Britta (Peer reviewed; Journal article, 2019)
      Secure channels are one of the most pivotal building blocks of cryptography today. Internet connections, secure messaging, protected IoT data, etc., all rely upon the security of the underlying channel. In this work we ...
    • Secure Instant Messaging End-to-End - Analysis of Security Protocols 

      Rikardsen, Charlotte Skog (Master thesis, 2017)
      Secure instant messaging aims to protect private communication messages against surveillance. Organisations, individuals, and vendors have released instant messaging applications claiming to be secure from surveillance. ...
    • Secure Termination in Real-World Security Protocols 

      Toreskås, Jonas Lunde (Master thesis, 2016)
      As the Internet was initially invented without any security concerns, a way of secure communication over an untrusted network was nowhere to be found. After years of research, the TLS protocol became this Internet standard ...
    • Security and Key Establishment in IEEE 802.15.4 

      Klevstad, Eirik (Master thesis, 2016)
      IPv6 over Low power Wireless Personal Area Network (6LoWPAN) is a concept that enables an Internet Protocol (IP) connection over networks that use the Institute of Electrical and Electronics Engineers (IEEE) 802.15.4 ...
    • Security of Domestic Products in the IoT 

      Chiem, Henriette Victoria (Master thesis, 2015)
      In the last few years, the idea of connecting existing computing devices through wireless communication has given place to the concept of the Internet of Things (IoT). Many products are already available for the domestic ...
    • User Understanding and Perspectives on End-to-End Encrypted Instant Messaging Apps 

      Rikardsen, Charlotte S.; Hale, Britta; Mjølsnes, Stig Frode (Journal article; Peer reviewed, 2018)
      Instant messaging applications are increasingly claiming to offer end-to-end encryption. Yet actual, user perspectives on the necessity, appropriateness, and desirability of such “secure apps” are poorly understood. This ...