Benjamin Dowling

According to our database, Benjamin Dowling authored at least 28 papers between 2013 and 2024.

Collaborative distances:

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

2024

Quantum-Secure Hybrid Communication for Aviation Infrastructure.

Benjamin Dowling, Bhagya Wimalasiri

IACR Cryptol. ePrint Arch., 2024

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

Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling

IACR Cryptol. ePrint Arch., 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

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

Martin R. Albrecht, Benjamin Dowling, Daniel Jones

IACR Cryptol. ePrint Arch., 2023

Practically-exploitable Cryptographic Vulnerabilities in Matrix.

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

IACR Cryptol. ePrint Arch., 2023

2022

Pragmatic authenticated key agreement for IEEE Std 802.15.6.

Haibat Khan, Benjamin Dowling, Keith M. Martin

Int. J. Inf. Sec., 2022

Strongly Anonymous Ratcheted Key Exchange.

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

IACR Cryptol. ePrint Arch., 2022

Continuous Authentication in Secure Messaging.

Benjamin Dowling, Felix Günther, Alexandre Poirrier

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

Post Quantum Noise.

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

IACR Cryptol. ePrint Arch., 2022

2021

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol.

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

J. Cryptol., 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

A Formal Security Analysis of the Signal Messaging Protocol.

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

J. Cryptol., 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

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

Benjamin Dowling, Britta Hale

IACR Cryptol. ePrint Arch., 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

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

2018

Identity Confidentiality in 5G Mobile Telephony Systems.

Haibat Khan, Benjamin Dowling, Keith M. Martin

IACR Cryptol. ePrint Arch., 2018

A Cryptographic Analysis of the WireGuard Protocol.

Benjamin Dowling, Kenneth G. Paterson

IACR Cryptol. ePrint Arch., 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

2016

Secure Logging Schemes and Certificate Transparency.

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

IACR Cryptol. ePrint Arch., 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

2015

Authenticated Network Time Synchronization.

Benjamin Dowling, Douglas Stebila, Greg Zaverucha

IACR Cryptol. ePrint Arch., 2015

Modelling ciphersuite and version negotiation in the TLS protocol.

Benjamin Dowling, Douglas Stebila

IACR Cryptol. ePrint Arch., 2015

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.

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

IACR Cryptol. ePrint Arch., 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