Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. - Britta Hale; Colin Boyd (SSR, 2014)

From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. - Colin Boyd; Britta Hale; Stig Frode Mjølsnes; Douglas Stebila (IACR Cryptol. ePrint Arch., 2015)

CARIBE: Adapting Traditional IBE for the Modern Key-Covetous Appetite. - Britta Hale; Christopher Carr; Danilo Gligoroski (IACR Cryptol. ePrint Arch., 2015)

Speeding: On Low-Latency Key Exchange. - Britta Hale; Tibor Jager; Sebastian Lauer; Jörg Schwenk (IACR Cryptol. ePrint Arch., 2015)

CARIBE: Cascaded IBE for Maximum Flexibility and User-Side Control. - Britta Hale; Christopher Carr; Danilo Gligoroski (Mycrypt, 2016)

Simple Security Definitions for and Constructions of 0-RTT Key Exchange. - Britta Hale; Tibor Jager; Sebastian Lauer; Jörg Schwenk (ACNS, 2017)

Secure Channels and Termination: The Last Word on TLS. - Colin Boyd; Britta Hale (IACR Cryptol. ePrint Arch., 2017)

0-RTT Key Exchange with Full Forward Secrecy. - Felix Günther 001; Britta Hale; Tibor Jager; Sebastian Lauer (IACR Cryptol. ePrint Arch., 2017)

Revisiting Post-Compromise Security Guarantees in Group Messaging. - Cas Cremers; Britta Hale; Konrad Kohbrok (IACR Cryptol. ePrint Arch., 2019)

Computationally Modeling User-Mediated Authentication Protocols. - Britta Hale (IACR Cryptol. ePrint Arch., 2019)

There Can Be No Compromise: The Necessity of Ratcheted Authentication in Secure Messaging. - Benjamin Dowling; Britta Hale (IACR Cryptol. ePrint Arch., 2020)

User-mediated authentication protocols and unforgeability in key collision. - Britta Hale (Int. J. Inf. Sec., 2020)

Secure Messaging Authentication against Active Man-in-the-Middle Attacks. - Benjamin Dowling; Britta Hale (EuroS&P, 2021)

Introduction to the Minitrack on Cyber Systems: Their Science, Engineering, and Security. - James Scrofani; Chad A. Bollmann; John D. Roth; Britta Hale (HICSS, 2021)

Strengthening SDN Security: Protocol Dialecting and Downgrade Attacks. - Michael Sjoholmsierchio; Britta Hale; Daniel Lukaszewski; Geoffrey G. Xie (NetSoft, 2021)

The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter. - Cas Cremers; Britta Hale; Konrad Kohbrok (USENIX Security Symposium, 2021)

The Bluetooth CYBORG: Analysis of the Full Human-Machine Passkey Entry AKE Protocol. - Michael Troncoso; Britta Hale (IACR Cryptol. ePrint Arch., 2021)

A Zero Trust Hybrid Security and Safety Risk Analysis Method. - Nikolaos Papakonstantinou; Douglas L. Van Bossuyt; Joonas Linnosmaa; Britta Hale; Bryan M. O'Halloran (J. Comput. Inf. Sci. Eng., 2021)

System Analysis of Counter-Unmanned Aerial Systems Kill Chain in an Operational Environment. - Choon Seng Tan; Douglas L. Van Bossuyt; Britta Hale (Syst., 2021)

Blockchain-based Authenticated Stego-Channels: A Security Framework and Construction. - Vikram Kanth; Britta Hale (Blockchain, 2022)

Securing Software Updates under Receiver Radio Frequency Geolocation Risk. - Blake Hayden; Matthew Sweeney; Britta Hale (MILCOM, 2022)

On End-to-End Encryption. - Britta Hale; Chelsea Komlo (IACR Cryptol. ePrint Arch., 2022)

Model Based Resilience Engineering for Design and Assessment of Mission Critical Systems Containing Artificial Intelligence Components. - Douglas L. Van Bossuyt; Nikolaos Papakonstantinou; Britta Hale; Jarno Salonen; Bryan O'Halloran (Artificial Intelligence and Cybersecurity, 2023)

Utilizing the Messaging Layer Security Protocol in a Lossy Communications Aerial Swarm. - Elyssa Dietz; Duane Davis; Britta Hale (HICSS, 2023)

Introduction to the Minitrack on Cyber Systems: Their Science, Engineering, and Security. - Britta Hale; James Scrofani; Chad A. Bollmann (HICSS, 2023)

A Note on Hybrid Signature Schemes. - Nina Bindel; Britta Hale (IACR Cryptol. ePrint Arch., 2023)

Authenticated Continuous Key Agreement: Active MitM Detection and Prevention. - Benjamin Dowling; Britta Hale (IACR Cryptol. ePrint Arch., 2023)

Guardianship in Group Key Exchange for Limited Environments. - Elsie Mestl Fondevik; Britta Hale; Xisen Tian (IACR Cryptol. ePrint Arch., 2023)

Zero-Trust for the System Design Lifecycle. - Douglas L. Van Bossuyt; Britta Hale; Ryan M. Arlitt; Nikolaos Papakonstantinou (J. Comput. Inf. Sci. Eng., 2023)

DRACO: Production Network Deployment and Evaluation of Deceptive Defense As-a-Service. - Mathieu Couillard; Britta Hale (IEEE Big Data, 2024)

Introduction to the Minitrack on Critical Infrastructure and Cyber Systems. - Britta Hale; Nick Tsamis; James Scrofani; Chad A. Bollmann (HICSS, 2024)

Cryptography is Rocket Science: Analysis of BPSec. - Benjamin Dowling; Britta Hale; Xisen Tian; Bhagya Wimalasiri (IACR Commun. Cryptol., 2024)

The Future of Digital Twin Research and Development. - Douglas L. Van Bossuyt; Douglas Allaire; Jason Bickford; Thomas A. Bozada; Wei Wayne Chen; Roger P. Cutitta; Robert Cuzner; Kristen Fletcher; Ronald Giachetti; Britta Hale; H. Howie Huang; Michael Keidar; et al. (J. Comput. Inf. Sci. Eng., 2025)

Blockchain-Based Authenticated Stego-Channels and Application to Ethereum. - Vikram Kanth; Britta Hale (IEEE Trans. Dependable Secur. Comput., 2025)

Key Establishment in the Space Environment. - Benjamin Dowling; Britta Hale; Xisen Tian; Bhagya Wimalasiri (CoRR, 2025)

Terminology for Post-Quantum Traditional Hybrid Schemes. - Florence Driscoll; Michael Parsons; Britta Hale (RFC, 2025)