Benjamin Dowling

63 papers A* 7A 4B 1C 1Misc 1Journal 42Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
At-Compromise Security: The Case for Alert Blindness.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Simone Colombo, Benjamin Dowling, Rikke Bjerg Jensen
2026 J jnl
Drawing the LINE: Cryptographic Analysis and Security Improvements for the LINE E2EE Protocol.
CoRR
Benjamin Dowling, Prosanta Gope, Mehr U. Nisa, Bhagya Wimalasiri
2025 J jnl
Cryptography is Rocket Science: Analysis of BPSec.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Britta Hale, Xisen Tian, Bhagya Wimalasiri
2025 J jnl
Formal Analysis of Multi-Device Group Messaging in WhatsApp.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Benjamin Dowling, Daniel Jones
2025 — conf
Formal Analysis of Multi-device Group Messaging in WhatsApp.
EUROCRYPT (8)
Martin R. Albrecht, Benjamin Dowling, Daniel Jones
2025 J jnl
Key Establishment in the Space Environment.
CoRR
Benjamin Dowling, Britta Hale, Xisen Tian, Bhagya Wimalasiri
2025 J jnl
PGUP: Pretty Good User Privacy for 5G-enabled Secure Mobile Communication Protocols.
Proc. Priv. Enhancing Technol.
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling, Yang Yang
2025 A conf
Path Privacy and Handovers: Preventing Insider Traceability Attacks During Secure Handovers.
CSF
Bhagya Wimalasiri, Benjamin Dowling, Rabiah Alnashwan
2025 J jnl
Path Privacy and Handovers: Preventing Insider Traceability Attacks During Secure Handovers.
IACR Cryptol. ePrint Arch.
Rabiah Alnashwan, Benjamin Dowling, Bhagya Wimalasiri
2025 A* conf
Post-Quantum Cryptographic Analysis of SSH.
SP
Benjamin Bencina, Benjamin Dowling, Varun Maram, Keita Xagawa
2025 J jnl
Post-quantum Cryptographic Analysis of SSH.
IACR Cryptol. ePrint Arch.
Benjamin Bencina, Benjamin Dowling, Varun Maram, Keita Xagawa
2025 J jnl
QUIC-MLS: Making a Space Security Draft Standard Resilient for Disconnected Environments.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Britta Hale, Xisen Tian, Bhagya Wimalasiri
2025 J jnl
Quantum-Secure Hybrid Communication for Aviation Infrastructures.
IEEE Trans. Dependable Secur. Comput.
Benjamin Dowling, Bhagya Wimalasiri
2024 J jnl
Cryptography is Rocket Science: Analysis of BPSec.
IACR Commun. Cryptol.
Benjamin Dowling, Britta Hale, Xisen Tian, Bhagya Wimalasiri
2024 A* conf
Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core.
SP
Martin R. Albrecht, Benjamin Dowling, Daniel Jones
2024 J jnl
Quantum-Secure Hybrid Communication for Aviation Infrastructure.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Bhagya Wimalasiri
2024 A conf
UniHand: Privacy-Preserving Universal Handover for Small-Cell Networks in 5G-Enabled Mobile Communication with KCI Resilience.
CSF
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
2024 J jnl
UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience.
CoRR
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
2024 J jnl
UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience.
IACR Cryptol. ePrint Arch.
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
2023 J jnl
Authenticated Continuous Key Agreement: Active MitM Detection and Prevention.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Britta Hale
2023 J jnl
Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Benjamin Dowling, Daniel Jones
2023 A* conf
Practically-exploitable Cryptographic Vulnerabilities in Matrix.
SP
Martin R. Albrecht, Sofía Celi, Benjamin Dowling, Daniel Jones
2023 J jnl
Practically-exploitable Cryptographic Vulnerabilities in Matrix.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Sofía Celi, Benjamin Dowling, Daniel Jones
2023 J jnl
Privacy-Aware Secure Region-Based Handover for Small Cell Networks in 5G-Enabled Mobile Communication.
IEEE Trans. Inf. Forensics Secur.
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
2022 — conf
Continuous Authentication in Secure Messaging.
ESORICS (2)
Benjamin Dowling, Felix Günther, Alexandre Poirrier
2022 J jnl
Continuous Authentication in Secure Messaging.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Felix Günther, Alexandre Poirrier
2022 A* conf
Post Quantum Noise.
CCS
Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber
2022 J jnl
Post Quantum Noise.
IACR Cryptol. ePrint Arch.
Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber
2022 J jnl
Practical (Post-Quantum) Key Combiners from One-Wayness and Applications to TLS.
IACR Cryptol. ePrint Arch.
Nimrod Aviram, Benjamin Dowling, Ilan Komargodski, Kenneth G. Paterson, Eyal Ronen, Eylon Yogev
2022 J jnl
Pragmatic authenticated key agreement for IEEE Std 802.15.6.
Int. J. Inf. Sec.
Haibat Khan, Benjamin Dowling, Keith M. Martin
2022 J jnl
Privacy-aware Secure Region-based Handover for Small Cell Networks in 5G-enabled Mobile Communication.
CoRR
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
2022 J jnl
Privacy-aware Secure Region-based Handover for Small Cell Networks in 5G-enabled Mobile Communication.
IACR Cryptol. ePrint Arch.
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
2022 — conf
Strongly Anonymous Ratcheted Key Exchange.
ASIACRYPT (3)
Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rösler
2022 J jnl
Strongly Anonymous Ratcheted Key Exchange.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rösler
2021 J jnl
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol.
J. Cryptol.
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
2021 A conf
Secure Messaging Authentication against Active Man-in-the-Middle Attacks.
EuroS&P
Benjamin Dowling, Britta Hale
2020 J jnl
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
2020 J jnl
A Formal Security Analysis of the Signal Messaging Protocol.
J. Cryptol.
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2020 — conf
Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework.
Public Key Cryptography (1)
Benjamin Dowling, Paul Rösler, Jörg Schwenk
2020 C conf
Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange.
PQCrypto
Benjamin Dowling, Torben Brandt Hansen, Kenneth G. Paterson
2020 J jnl
Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Torben Brandt Hansen, Kenneth G. Paterson
2020 J jnl
Pragmatic Authenticated Key Agreement for IEEE Std 802.15.6.
IACR Cryptol. ePrint Arch.
Haibat Khan, Benjamin Dowling, Keith M. Martin
2020 J jnl
There Can Be No Compromise: The Necessity of Ratcheted Authentication in Secure Messaging.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Britta Hale
2019 J jnl
CATH: expanding the horizons of structure-based functional annotations for genome sequences.
Nucleic Acids Res.
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
2019 J jnl
Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Paul Rösler, Jörg Schwenk
2018 B conf
A Cryptographic Analysis of the WireGuard Protocol.
ACNS
Benjamin Dowling, Kenneth G. Paterson
2018 J jnl
A Cryptographic Analysis of the WireGuard Protocol.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Kenneth G. Paterson
2018 — conf
Highly Efficient Privacy-Preserving Key Agreement for Wireless Body Area Networks.
TrustCom/BigDataSE
Haibat Khan, Benjamin Dowling, Keith M. Martin
2018 — conf
Identity Confidentiality in 5G Mobile Telephony Systems.
SSR
Haibat Khan, Benjamin Dowling, Keith M. Martin
2018 J jnl
Identity Confidentiality in 5G Mobile Telephony Systems.
IACR Cryptol. ePrint Arch.
Haibat Khan, Benjamin Dowling, Keith M. Martin
2017 A conf
A Formal Security Analysis of the Signal Messaging Protocol.
EuroS&P
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2016 J jnl
A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
2016 J jnl
A Formal Security Analysis of the Signal Messaging Protocol.
IACR Cryptol. ePrint Arch.
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
2016 A* conf
Authenticated Network Time Synchronization.
USENIX Security Symposium
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
2016 — conf
Secure Logging Schemes and Certificate Transparency.
ESORICS (2)
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
2016 J jnl
Secure Logging Schemes and Certificate Transparency.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
2015 A* conf
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.
CCS
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
2015 J jnl
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
2015 J jnl
Authenticated Network Time Synchronization.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
2015 Misc conf
Modelling Ciphersuite and Version Negotiation in the TLS Protocol.
ACISP
Benjamin Dowling, Douglas Stebila
2015 J jnl
Modelling ciphersuite and version negotiation in the TLS protocol.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Douglas Stebila
2014 A* conf
Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol.
CCS
Florian Bergsma, Benjamin Dowling, Florian Kohlar, Jörg Schwenk, Douglas Stebila
2013 J jnl
Multi-ciphersuite security and the SSH protocol.
IACR Cryptol. ePrint Arch.
Benjamin Dowling, Florian Giesen, Florian Kohlar, Jörg Schwenk, Douglas Stebila