Background and activities

Current Research Area: Modelling and Analysis of Real-World Cryptographic Authentication and Key-Exchange Protocols

Key words:  Key-Exchange, Authentication, Secure Channels, Secure Termination, Low-Latency / 0-RTT Protocols, Forward Secret Protocols, TLS, DTLS, ISO 9798, Identity-Based Cryptography


Scientific, academic and artistic work

A selection of recent journal publications, artistic productions, books, including book and report excerpts. See all publications in the database

Part of book/report

  • Boyd, Colin Alexander; Hale, Britta; Mjølsnes, Stig Frode; Stebila, Douglas. (2016) From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. Topics in Cryptology - CT-RSA 2016 The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings.
  • Hale, Britta J.; Boyd, Colin Alexander. (2014) Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. Security Standardisation Research: First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings.