NPS - Faculty Profiles - Heading

Faculty Profile Directory


Welcome to the NPS Faculty Profile directory. Use the form below to search the NPS faculty profiles. All NPS Faculty may update their profiles by logging into FAIRS.

FacultyCV
Back to Search

Britta Hale

Assistant Professor
Computer Science
Graduate School of Operational and Information Sciences

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

Scholarly Work

Publications
  • Conference Proceeding
  • Hale, B, (2018). User-Mediated Authentication Protocols and Unforgeability in Key Collision.
  • Hale, B, (2018). User Understanding and Perspectives on End-to-End Encrypted Instant Messaging Apps. NIK: Norsk Informatikkonferanse.
  • Hale, B, (2018). Expanding ACCE: Robust Secure Channel Establishment. NISK.
  • Hale, B, (2017). 0-RTT Key Exchange with Full Forward Secrecy.
  • Hale, B, (2017). CARIBE: Cascaded IBE for Maximum Flexibility and User-Side Control.
  • Hale, B, (2017). Simple Security Definitions for and Constructions of 0-RTT Key Exchange.
  • Hale, B, (2016). From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS.
  • Hale, B, (2014). Computationally Analyzing the ISO 9798-2.4 Authentication Protocol.
  • Journal Article
  • Hale, B, (2020). User-Mediated Authentication Protocols and Unforgeability in Key Collision. International Journal of Information Security (IJIS), .
  • Manuscript
  • Hale, B, (2019). Revisiting Post-Compromise Security Guarantees in Group Messaging.
  • Technical Report
  • Hale, B, (2018). IKT-sikkerhet i industrielle kontroll- og sikkerhetssystemer i petroleumsvirksomheten.
Presentations
  • Keynote/Plenary Address
  • Hale, B., Samfundsmøte, "Deep Web and Dark Web," Norway. (January 1, 2017).
  • Lecture
  • 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 Presentation
  • 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).
  • Paper
  • 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).