Multi-ciphersuite security and the SSH protocol. - Benjamin Dowling; Florian Giesen; Florian Kohlar; Jörg Schwenk; Douglas Stebila (IACR Cryptol. ePrint Arch., 2013)

Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol. - Florian Bergsma; Benjamin Dowling; Florian Kohlar; Jörg Schwenk; Douglas Stebila (CCS, 2014)

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. - Benjamin Dowling; Marc Fischlin; Felix Günther 001; Douglas Stebila (IACR Cryptol. ePrint Arch., 2015)

Modelling ciphersuite and version negotiation in the TLS protocol. - Benjamin Dowling; Douglas Stebila (IACR Cryptol. ePrint Arch., 2015)

Authenticated Network Time Synchronization. - Benjamin Dowling; Douglas Stebila; Greg Zaverucha (IACR Cryptol. ePrint Arch., 2015)

A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol. - Benjamin Dowling; Marc Fischlin; Felix Günther 001; Douglas Stebila (IACR Cryptol. ePrint Arch., 2016)

Secure Logging Schemes and Certificate Transparency. - Benjamin Dowling; Felix Günther 001; Udyani Herath; Douglas Stebila (IACR Cryptol. ePrint Arch., 2016)

Highly Efficient Privacy-Preserving Key Agreement for Wireless Body Area Networks. - Haibat Khan; Benjamin Dowling; Keith M. Martin (TrustCom/BigDataSE, 2018)

A Cryptographic Analysis of the WireGuard Protocol. - Benjamin Dowling; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2018)

Identity Confidentiality in 5G Mobile Telephony Systems. - Haibat Khan; Benjamin Dowling; Keith M. Martin (IACR Cryptol. ePrint Arch., 2018)

Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework. - Benjamin Dowling; Paul Rösler; Jörg Schwenk (IACR Cryptol. ePrint Arch., 2019)

CATH: expanding the horizons of structure-based functional annotations for genome sequences. - Ian Sillitoe; Natalie L. Dawson; Tony E. Lewis; Sayoni Das; Jonathan G. Lees; Paul Ashford; Adeyelu Tolulope; Harry M. Scholes; Ilya Senatorov; Andra Bujan; Fatima Ceballos Rodriguez-Conde; Benjamin Dowling; et al. (Nucleic Acids Res., 2019)

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

Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange. - Benjamin Dowling; Torben Brandt Hansen; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2020)

Pragmatic Authenticated Key Agreement for IEEE Std 802.15.6. - Haibat Khan; Benjamin Dowling; Keith M. Martin (IACR Cryptol. ePrint Arch., 2020)

A Formal Security Analysis of the Signal Messaging Protocol. - Katriel Cohn-Gordon; Cas Cremers; Benjamin Dowling; Luke Garratt; Douglas Stebila (J. Cryptol., 2020)

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

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. - Benjamin Dowling; Marc Fischlin; Felix Günther 001; Douglas Stebila (J. Cryptol., 2021)

Post Quantum Noise. - Yawning Angel; Benjamin Dowling; Andreas Hülsing; Peter Schwabe; Florian Weber (IACR Cryptol. ePrint Arch., 2022)

Practical (Post-Quantum) Key Combiners from One-Wayness and Applications to TLS. - Nimrod Aviram; Benjamin Dowling; Ilan Komargodski; Kenneth G. Paterson; Eyal Ronen; Eylon Yogev (IACR Cryptol. ePrint Arch., 2022)

Continuous Authentication in Secure Messaging. - Benjamin Dowling; Felix Günther 001; Alexandre Poirrier (IACR Cryptol. ePrint Arch., 2022)

Strongly Anonymous Ratcheted Key Exchange. - Benjamin Dowling; Eduard Hauck; Doreen Riepel; Paul Rösler (IACR Cryptol. ePrint Arch., 2022)

Practically-exploitable Cryptographic Vulnerabilities in Matrix. - Martin R. Albrecht; Sofía Celi; Benjamin Dowling; Daniel Jones (IACR Cryptol. ePrint Arch., 2023)

Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core. - Martin R. Albrecht; Benjamin Dowling; Daniel Jones (IACR Cryptol. ePrint Arch., 2023)

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

Privacy-Aware Secure Region-Based Handover for Small Cell Networks in 5G-Enabled Mobile Communication. - Rabiah Alnashwan; Prosanta Gope 001; Benjamin Dowling (IEEE Trans. Inf. Forensics Secur., 2023)

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

UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience. - Rabiah Alnashwan; Prosanta Gope 001; Benjamin Dowling (IACR Cryptol. ePrint Arch., 2024)

Quantum-Secure Hybrid Communication for Aviation Infrastructure. - Benjamin Dowling; Bhagya Wimalasiri (IACR Cryptol. ePrint Arch., 2024)

Formal Analysis of Multi-Device Group Messaging in WhatsApp. - Martin R. Albrecht; Benjamin Dowling; Daniel Jones (IACR Cryptol. ePrint Arch., 2025)

Path Privacy and Handovers: Preventing Insider Traceability Attacks During Secure Handovers. - Rabiah Alnashwan; Benjamin Dowling; Bhagya Wimalasiri (IACR Cryptol. ePrint Arch., 2025)

Post-quantum Cryptographic Analysis of SSH. - Benjamin Bencina; Benjamin Dowling; Varun Maram; Keita Xagawa (IACR Cryptol. ePrint Arch., 2025)

PGUP: Pretty Good User Privacy for 5G-enabled Secure Mobile Communication Protocols. - Rabiah Alnashwan; Prosanta Gope 001; Benjamin Dowling; Yang Yang 138 (Proc. Priv. Enhancing Technol., 2025)

Quantum-Secure Hybrid Communication for Aviation Infrastructures. - Benjamin Dowling; Bhagya Wimalasiri (IEEE Trans. Dependable Secur. Comput., 2025)

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