Organizer: Marc Fischlin
Various authentication and authenticated encryption with associated data (AEAD) notions have been employed in protocol channel security modeling and analysis, occasionally failing to accurately model the intended target. As such, this research provides a clear hierarchy of such notions for authentication, which consequently demonstrate how the connections between authentication guarantees of real-world protocols can be delineated – such as between TLS and 802.11. Generic constructions between authentication as well as AEAD levels are also provided, allowing for ease of analysis and building of authentication protocols at higher level notions based upon basic authentication guarantees.
Britta Hale is a research fellow at the Norwegian University of Science and Technology (NTNU – Trondheim), working under Prof. Colin Boyd. Current research areas include the modeling and analysis of real-world key exchange and authentication protocols, and analysis of channel security, with a particular focus on provable security and computational analysis.
Hale holds a master of science in the mathematics of cryptography and communications from Royal Holloway, Univ. London, and has a background in pure mathematics.