| 2026 | EuroCrypt | At-Compromise Security - The Case for Alert Blindness. | Martin R. Albrecht, Simone Colombo, Benjamin Dowling, Rikke Bjerg Jensen |
| 2025 | EuroCrypt | Formal Analysis of Multi-device Group Messaging in WhatsApp. | Martin R. Albrecht, Benjamin Dowling, Daniel Jones |
| 2025 | SP | Post-Quantum Cryptographic Analysis of SSH. | Benjamin Bencina, Benjamin Dowling, Varun Maram, Keita Xagawa |
| 2024 | SP | Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core. | Martin R. Albrecht, Benjamin Dowling, Daniel Jones |
| 2023 | SP | Practically-exploitable Cryptographic Vulnerabilities in Matrix. | Martin R. Albrecht, Sofa Celi, Benjamin Dowling, Daniel Jones |
| 2022 | ASIACRYPT | Strongly Anonymous Ratcheted Key Exchange. | Benjamin Dowling, Eduard Hauck, Doreen Riepel, Paul Rsler |
| 2022 | CCS | Post Quantum Noise. | Yawning Angel, Benjamin Dowling, Andreas Hlsing, Peter Schwabe, Florian Weber |
| 2022 | ESORICS | Continuous Authentication in Secure Messaging. | Benjamin Dowling, Felix Gnther, Alexandre Poirrier |
| 2020 | PKC | Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework. | Benjamin Dowling, Paul Rsler, Jrg Schwenk |
| 2020 | PQCrypto | Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange. | Benjamin Dowling, Torben Brandt Hansen, Kenneth G. Paterson |
| 2018 | ACNS | A Cryptographic Analysis of the WireGuard Protocol. | Benjamin Dowling, Kenneth G. Paterson |
| 2018 | TrustCom | Highly Efficient Privacy-Preserving Key Agreement for Wireless Body Area Networks. | Haibat Khan, Benjamin Dowling, Keith M. Martin |
| 2016 | ESORICS | Secure Logging Schemes and Certificate Transparency. | Benjamin Dowling, Felix Gnther, Udyani Herath, Douglas Stebila |
| 2015 | ACISP | Modelling Ciphersuite and Version Negotiation in the TLS Protocol. | Benjamin Dowling, Douglas Stebila |
| 2015 | CCS | A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. | Benjamin Dowling, Marc Fischlin, Felix Gnther, Douglas Stebila |
| 2014 | CCS | Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol. | Florian Bergsma, Benjamin Dowling, Florian Kohlar, Jrg Schwenk, Douglas Stebila |