Benjamin Dowling

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 40

Top Topics

Mobile Communication

Password Authentication

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Benjamin Dowling, Bhagya Wimalasiri
Quantum-Secure Hybrid Communication for Aviation Infrastructure. IACR Cryptol. ePrint Arch. 2024 (2024)
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience. IACR Cryptol. ePrint Arch. 2024 (2024)
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience. CoRR (2024)
Martin R. Albrecht, Sofía Celi, Benjamin Dowling, Daniel Jones
Practically-exploitable Cryptographic Vulnerabilities in Matrix. SP (2023)
Benjamin Dowling, Britta Hale
Authenticated Continuous Key Agreement: Active MitM Detection and Prevention. IACR Cryptol. ePrint Arch. 2023 (2023)
Martin R. Albrecht, Benjamin Dowling, Daniel Jones
Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core. IACR Cryptol. ePrint Arch. 2023 (2023)
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
Privacy-Aware Secure Region-Based Handover for Small Cell Networks in 5G-Enabled Mobile Communication. IEEE Trans. Inf. Forensics Secur. 18 (2023)
Martin R. Albrecht, Sofía Celi, Benjamin Dowling, Daniel Jones
Practically-exploitable Cryptographic Vulnerabilities in Matrix. IACR Cryptol. ePrint Arch. 2023 (2023)
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
Privacy-aware Secure Region-based Handover for Small Cell Networks in 5G-enabled Mobile Communication. IACR Cryptol. ePrint Arch. 2022 (2022)
Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber
Post Quantum Noise. IACR Cryptol. ePrint Arch. 2022 (2022)
Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rösler
Strongly Anonymous Ratcheted Key Exchange. IACR Cryptol. ePrint Arch. 2022 (2022)
Benjamin Dowling, Felix Günther, Alexandre Poirrier
Continuous Authentication in Secure Messaging. IACR Cryptol. ePrint Arch. 2022 (2022)
Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber
Post Quantum Noise. CCS (2022)
Haibat Khan, Benjamin Dowling, Keith M. Martin
Pragmatic authenticated key agreement for IEEE Std 802.15.6. Int. J. Inf. Sec. 21 (3) (2022)
Benjamin Dowling, Felix Günther, Alexandre Poirrier
Continuous Authentication in Secure Messaging. ESORICS (2) (2022)
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
Privacy-aware Secure Region-based Handover for Small Cell Networks in 5G-enabled Mobile Communication. CoRR (2022)
Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rösler
Strongly Anonymous Ratcheted Key Exchange. ASIACRYPT (3) (2022)
Nimrod Aviram, Benjamin Dowling, Ilan Komargodski, Kenneth G. Paterson, Eyal Ronen, Eylon Yogev
Practical (Post-Quantum) Key Combiners from One-Wayness and Applications to TLS. IACR Cryptol. ePrint Arch. 2022 (2022)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. J. Cryptol. 34 (4) (2021)
Benjamin Dowling, Britta Hale
Secure Messaging Authentication against Active Man-in-the-Middle Attacks. EuroS&P (2021)
Haibat Khan, Benjamin Dowling, Keith M. Martin
Pragmatic Authenticated Key Agreement for IEEE Std 802.15.6. IACR Cryptol. ePrint Arch. 2020 (2020)
Benjamin Dowling, Torben Brandt Hansen, Kenneth G. Paterson
Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange. PQCrypto (2020)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. J. Cryptol. 33 (4) (2020)
Benjamin Dowling, Torben Brandt Hansen, Kenneth G. Paterson
Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange. IACR Cryptol. ePrint Arch. 2020 (2020)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. IACR Cryptol. ePrint Arch. 2020 (2020)
Benjamin Dowling, Britta Hale
There Can Be No Compromise: The Necessity of Ratcheted Authentication in Secure Messaging. IACR Cryptol. ePrint Arch. 2020 (2020)
Benjamin Dowling, Paul Rösler, Jörg Schwenk
Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework. Public Key Cryptography (1) (2020)
Benjamin Dowling, Paul Rösler, Jörg Schwenk
Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework. IACR Cryptol. ePrint Arch. 2019 (2019)
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
CATH: expanding the horizons of structure-based functional annotations for genome sequences. Nucleic Acids Res. 47 (Database-Issue) (2019)
Haibat Khan, Benjamin Dowling, Keith M. Martin
Identity Confidentiality in 5G Mobile Telephony Systems. IACR Cryptol. ePrint Arch. 2018 (2018)
Benjamin Dowling, Kenneth G. Paterson
A Cryptographic Analysis of the WireGuard Protocol. IACR Cryptol. ePrint Arch. 2018 (2018)
Haibat Khan, Benjamin Dowling, Keith M. Martin
Identity Confidentiality in 5G Mobile Telephony Systems. SSR (2018)
Benjamin Dowling, Kenneth G. Paterson
A Cryptographic Analysis of the WireGuard Protocol. ACNS (2018)
Haibat Khan, Benjamin Dowling, Keith M. Martin
Highly Efficient Privacy-Preserving Key Agreement for Wireless Body Area Networks. TrustCom/BigDataSE (2018)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. EuroS&P (2017)
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
Authenticated Network Time Synchronization. USENIX Security Symposium (2016)
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
Secure Logging Schemes and Certificate Transparency. ESORICS (2) (2016)
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
Secure Logging Schemes and Certificate Transparency. IACR Cryptol. ePrint Arch. 2016 (2016)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
A Formal Security Analysis of the Signal Messaging Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)
Benjamin Dowling, Douglas Stebila
Modelling Ciphersuite and Version Negotiation in the TLS Protocol. ACISP (2015)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. CCS (2015)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. IACR Cryptol. ePrint Arch. 2015 (2015)
Benjamin Dowling, Douglas Stebila
Modelling ciphersuite and version negotiation in the TLS protocol. IACR Cryptol. ePrint Arch. 2015 (2015)
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
Authenticated Network Time Synchronization. IACR Cryptol. ePrint Arch. 2015 (2015)
Florian Bergsma, Benjamin Dowling, Florian Kohlar, Jörg Schwenk, Douglas Stebila
Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol. CCS (2014)
Benjamin Dowling, Florian Giesen, Florian Kohlar, Jörg Schwenk, Douglas Stebila
Multi-ciphersuite security and the SSH protocol. IACR Cryptol. ePrint Arch. 2013 (2013)