NPS - Faculty Profiles - Heading

Faculty Profile Directory


FacultyCV
Back

Britta Hale

Assistant Professor
Computer Science

Phone: (831) 656-3316
Education
  • PhD - NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY, NTNU 2017
  • MS - ROYAL HOLLOWAY, UNIVERSITY OF LONDON 2012
NPS Experience
  • 2018 - current: Assistant Professor

Scholarly Work

Publications
  • Conference Proceedings
  • Cremers, C., Hale, B., & Kohbrok, K, The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter.
  • Dowling, B., & Hale, B, Secure Messaging Authentication against Active Man-in-the-Middle Attacks.
  • Papakonstantinou, N., Van Bossuyt, D., Linnosmaa, J., Hale, B., & O'Halloran, B. M, Towards a Zero Trust Hybrid Security and Safety Risk Analysis Method.
  • Sjoholmsierchio, M., Hale, B., Lukaszewski, D., & Xie, G. G, Strengthening SDN Security: Protocol Dialecting and Downgrade Attacks.
  • Troncoso, M., & Hale, B, (2021). The Bluetooth CYBORG: Analysis of the Full Human-Machine Passkey Entry AKE Protocol.
  • Hale, B, (2018). User-Mediated Authentication Protocols and Unforgeability in Key Collision.
  • Rikardsen, C. S., Hale, B., & Mjølsnes, S, (2018). User Understanding and Perspectives on End-to-End Encrypted Instant Messaging Apps.
  • Hale, B, (2018). Expanding ACCE: Robust Secure Channel Establishment.
  • Guenther, F., Hale, B., Jager, T., & Lauer, S, (2017). 0-RTT Key Exchange with Full Forward Secrecy.
  • Hale, B., Carr, C., & Gligoroski, D, (2017). CARIBE: Cascaded IBE for Maximum Flexibility and User-Side Control.
  • Hale, B., Jager, T., Lauer, S., & Schwenk, J, (2017). Simple Security Definitions for and Constructions of 0-RTT Key Exchange.
  • Boyd, C., Hale, B., Mjolsnes, S. F., & Stebila, D, (2016). From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS.
  • Hale, B., & Boyd, C, (2014). Computationally Analyzing the ISO 9798-2.4 Authentication Protocol.
  • Journal Articles
  • Papakonstantinou, N., Van Bossuyt, D., Linnosmaa, J., Hale, B., & O'Halloran, B. M, A Zero Trust Hybrid Security and Safety Risk Analysis Method. Journal of Computing and Information Science in Engineering.
  • Hale, B, (2020). User-Mediated Authentication Protocols and Unforgeability in Key Collision. International Journal of Information Security (IJIS).
  • Manuscripts
  • Cremers, C., Hale, B., & Kohbrok, K, (2019). Revisiting Post-Compromise Security Guarantees in Group Messaging.
  • Technical Reports
  • Bodsberg, L., Hale, B., Dahl, Ø., Grøtan, T., Jaatun, M. G., Moe, M., & Onshus , T, (2018). IKT-sikkerhet i industrielle kontroll- og sikkerhetssystemer i petroleumsvirksomheten.
Presentations
  • Keynotes/Plenary Addresses
  • Hale, B., Samfundsmøte, "Deep Web and Dark Web," Norway. (January 1, 2017).
  • Lectures
  • Hale, B., Harnessing AI, NPS, "Cyber Security and AI," United States. (November 1, 2019).
  • Hale, B., Computer Science Seminar, NPS, "Customizing Public Key Encryption: Thinking beyond PKI," United States. (August 1, 2019).
  • Hale, B., NPS Computer Science Seminar, "Cryptography in a Brave New World," United States. (October 1, 2018).
  • Hale, B., CryptoParties, "The Signal Protocol," Norway. (January 1, 2017).
  • Oral Presentations
  • Hale, B., Industry Network Technology Council, "Asynchronous Group Messaging Security," Webinar. (July 1, 2020).
  • Hale, B. (Presenter), & Kohbrok, K. (Presenter), IETF MLS Working Group, "PSKs and Their Use in MLS," Webinar. (April 1, 2020).
  • Hale, B., IETF MLS Working Group Interim, "Security Analysis of PCS," United States. (January 1, 2020).
  • Hale, B., Stanford Security Seminar, "The Reality of Secure Messaging: Users, Entity Authentication, and a World after Compromise," United States. (November 1, 2019).
  • Hale, B., Microsoft Research Seminar, "People! Protocol analysis to include the weakest link," United States. (July 1, 2019).
  • Hale, B., IETF-105, "User Authentication within Groups," Canada. (July 1, 2019).
  • Hale, B., Big Ideas Exchange, NPS, "Regaining a Competitive Edge in Cyber Security Big Ideas Exchange," United States. (November 1, 2018).
  • Hale, B., SINTEF Ledersamling, "Frustrasjoner og løsninger om sakte sikkerhetsoppsett (Ultra-Efficiency with Security)," Norway. (May 1, 2018).
  • Hale, B., Forsker GrandPrix, "Sikkerhet i en digital verden med hackere hakk i hael (Security in a Digital World with Hackers at the Heels)," Norway. (September 1, 2017).
  • Hale, B., Secure Key Exchange and Channel Protocols (SKECH), "Secure Channels and Termination: The Last Word on TLS," Italy. (July 1, 2017).
  • Hale, B., TLS 1.3: Design, Implementation & Verification Workshop, "Secure Channels," France. (April 1, 2017).
  • Hale, B., Crypto vs. Mass Surveillance Workshop, "A Perfect Memory: Key Compromise in an Efficiency-centric World," Norway. (November 1, 2016).
  • Hale, B., TU Darmstadt Seminar, "A Hierarchy of Authentication and Authenticated Encryption Constructions with Application to TLS," Germany. (April 1, 2016).
  • Hale, B., CryptoAction Working Group 2 Protocol Analysis, "Implications between Authentication Levels and Secure Termination," Bulgaria. (April 1, 2015).
  • Hale, B., Twente University Seminar, "Digital Signatures in Network Coding: Linear Subspaces and Bilinear Pairing Stratagems," Netherlands. (September 1, 2013).
  • Papers
  • Hale, B., ProvSec 2019, "User-Mediated Authentication Protocols and Unforgeability in Key Collision," South Korea. (October 1, 2019).
  • Hale, B., NISK 2017, "User Understanding and Perspectives on End-to-End Encrypted Instant Messaging Apps," Norway. (November 1, 2017).
  • Hale, B., NISK 2017, "Expanding ACCE: Robust Secure Channel Establishment," Norway. (November 1, 2017).
  • Hale, B., Latincrypt, "Secure Channels and Termination: The Last Word on TLS," Cuba. (September 1, 2017).
  • Hale, B., Eurocrypt, "0-RTT Key Exchange with Full Forward Secrecy," France. (May 1, 2017).
  • Hale, B., MyCrypt 2016: Paradigm-Shifting Crypto, "CARIBE: Cascaded IBE for Maximum Flexibility and User-side Control," Switzerland. (December 1, 2016).
  • Hale, B., RSA - Cryptographers' Track, "From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS," United States. (January 1, 2016).
  • Hale, B., Security Standardisation Research, "Computationally Analyzing the ISO 9798-2.4 Authentication Protocol," United Kingdom. (December 1, 2014).