Benjamin Dowling

According to our database, Benjamin Dowling authored at least 35 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Key Establishment in the Space Environment.

Benjamin Dowling, Britta Hale, Xisen Tian, Bhagya Wimalasiri

CoRR, March, 2025

Quantum-Secure Hybrid Communication for Aviation Infrastructures.

Benjamin Dowling, Bhagya Wimalasiri

IEEE Trans. Dependable Secur. Comput., 2025

PGUP: Pretty Good User Privacy for 5G-enabled Secure Mobile Communication Protocols.

Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling, Yang Yang

Proc. Priv. Enhancing Technol., 2025

Post-Quantum Cryptographic Analysis of SSH.

Benjamin Bencina, Benjamin Dowling, Varun Maram, Keita Xagawa

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Formal Analysis of Multi-device Group Messaging in WhatsApp.

Martin R. Albrecht, Benjamin Dowling, Daniel Jones

Proceedings of the Advances in Cryptology - EUROCRYPT 2025, 2025

Path Privacy and Handovers: Preventing Insider Traceability Attacks During Secure Handovers.

Bhagya Wimalasiri, Benjamin Dowling, Rabiah Alnashwan

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024

Quantum-Secure Hybrid Communication for Aviation Infrastructure.

Benjamin Dowling, Bhagya Wimalasiri

IACR Cryptol. ePrint Arch., 2024

Cryptography is Rocket Science: Analysis of BPSec.

Benjamin Dowling, Britta Hale, Xisen Tian, Bhagya Wimalasiri

IACR Commun. Cryptol., 2024

Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core.

Martin R. Albrecht, Benjamin Dowling, Daniel Jones

Proceedings of the IEEE Symposium on Security and Privacy, 2024

UniHand: Privacy-Preserving Universal Handover for Small-Cell Networks in 5G-Enabled Mobile Communication with KCI Resilience.

Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Privacy-Aware Secure Region-Based Handover for Small Cell Networks in 5G-Enabled Mobile Communication.

Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling

IEEE Trans. Inf. Forensics Secur., 2023

Authenticated Continuous Key Agreement: Active MitM Detection and Prevention.

Benjamin Dowling, Britta Hale

IACR Cryptol. ePrint Arch., 2023

Practically-exploitable Cryptographic Vulnerabilities in Matrix.

Martin R. Albrecht, Sofía Celi, Benjamin Dowling, Daniel Jones

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

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, Alexandre Poirrier

Proceedings of the Computer Security - ESORICS 2022, 2022

Post Quantum Noise.

Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Strongly Anonymous Ratcheted Key Exchange.

Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rösler

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

Secure Messaging Authentication against Active Man-in-the-Middle Attacks.

Benjamin Dowling, Britta Hale

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

2020

Pragmatic Authenticated Key Agreement for IEEE Std 802.15.6.

Haibat Khan, Benjamin Dowling, Keith M. Martin

IACR Cryptol. ePrint Arch., 2020

There Can Be No Compromise: The Necessity of Ratcheted Authentication in Secure Messaging.

Benjamin Dowling, Britta Hale

IACR Cryptol. ePrint Arch., 2020

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol.

Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila

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

Proceedings of the Post-Quantum Cryptography - 11th International Conference, 2020

Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework.

Benjamin Dowling, Paul Rösler, Jörg Schwenk

Proceedings of the Public-Key Cryptography - PKC 2020, 2020

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, Janet M. Thornton, Christine A. Orengo

Nucleic Acids Res., 2019

2018

Highly Efficient Privacy-Preserving Key Agreement for Wireless Body Area Networks.

Haibat Khan, Benjamin Dowling, Keith M. Martin

Proceedings of the 17th IEEE International Conference On Trust, 2018

Identity Confidentiality in 5G Mobile Telephony Systems.

Haibat Khan, Benjamin Dowling, Keith M. Martin

Proceedings of the Security Standardisation Research - 4th International Conference, 2018

A Cryptographic Analysis of the WireGuard Protocol.

Benjamin Dowling, Kenneth G. Paterson

Proceedings of the Applied Cryptography and Network Security, 2018

2017

A Formal Security Analysis of the Signal Messaging Protocol.

Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol.

Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila

IACR Cryptol. ePrint Arch., 2016

Authenticated Network Time Synchronization.

Benjamin Dowling, Douglas Stebila, Greg Zaverucha

Proceedings of the 25th USENIX Security Symposium, 2016

Secure Logging Schemes and Certificate Transparency.

Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila

Proceedings of the Computer Security - ESORICS 2016, 2016

2015

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.

Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Modelling Ciphersuite and Version Negotiation in the TLS Protocol.

Benjamin Dowling, Douglas Stebila

Proceedings of the Information Security and Privacy - 20th Australasian Conference, 2015

2014

Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol.

Florian Bergsma, Benjamin Dowling, Florian Kohlar, Jörg Schwenk, Douglas Stebila

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Multi-ciphersuite security and the SSH protocol.

Benjamin Dowling, Florian Giesen, Florian Kohlar, Jörg Schwenk, Douglas Stebila

IACR Cryptol. ePrint Arch., 2013