Follow
Benjamin Dowling
Benjamin Dowling
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
A formal security analysis of the signal messaging protocol
K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila
Journal of Cryptology 33 (4), 1914-1983, 2020
3102020
A cryptographic analysis of the TLS 1.3 handshake protocol candidates
B Dowling, M Fischlin, F Günther, D Stebila
Proceedings of the 22nd ACM SIGSAC conference on computer and communications …, 2015
1372015
Secure logging schemes and certificate transparency
B Dowling, F Günther, U Herath, D Stebila
European Symposium on Research in Computer Security, 140-158, 2016
532016
A cryptographic analysis of the TLS 1.3 draft-10 full and pre-shared key handshake protocol
B Dowling, M Fischlin, F Günther, D Stebila
Cryptology ePrint Archive, 2016
502016
Multi-ciphersuite security of the Secure Shell (SSH) protocol
F Bergsma, B Dowling, F Kohlar, J Schwenk, D Stebila
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
392014
Authenticated network time synchronization
B Dowling, D Stebila, G Zaverucha
25th USENIX Security Symposium (USENIX Security 16), 823-840, 2016
382016
A cryptographic analysis of the WireGuard protocol
B Dowling, KG Paterson
International Conference on Applied Cryptography and Network Security, 3-21, 2018
362018
A cryptographic analysis of the TLS 1.3 handshake protocol
B Dowling, M Fischlin, F Günther, D Stebila
Journal of Cryptology 34 (4), 1-69, 2021
302021
Identity confidentiality in 5G mobile telephony systems
H Khan, B Dowling, KM Martin
International Conference on Research in Security Standardisation, 120-142, 2018
242018
Modelling ciphersuite and version negotiation in the TLS protocol
B Dowling, D Stebila
Australasian Conference on Information Security and Privacy, 270-288, 2015
202015
Highly efficient privacy-preserving key agreement for wireless body area networks
H Khan, B Dowling, KM Martin
2018 17th IEEE International Conference On Trust, Security And Privacy In …, 2018
112018
Flexible authenticated and confidential channel establishment (fACCE): Analyzing the noise protocol framework
B Dowling, P Rösler, J Schwenk
IACR International Conference on Public-Key Cryptography, 341-373, 2020
82020
Provable security of internet protocols
BJ Dowling
Queensland University of Technology, 2017
82017
Many a mickle makes a muckle: A framework for provably quantum-secure hybrid key exchange
B Dowling, TB Hansen, KG Paterson
International Conference on Post-Quantum Cryptography, 483-502, 2020
62020
There can be no compromise: The necessity of ratcheted authentication in secure messaging
B Dowling, B Hale
Cryptology ePrint Archive, 2020
52020
Multi-ciphersuite security and the SSH protocol.
B Dowling, F Giesen, F Kohlar, J Schwenk, D Stebila
IACR Cryptol. ePrint Arch. 2013, 813, 2013
42013
A formal analysis of the signal messaging protocol
K Cohn-Gordon, C Cremers, B Dowling, L Garratt, D Stebila
IEEE, 2017
32017
Practical (Post-Quantum) Key Combiners from One-Wayness and Applications to TLS
N Aviram, B Dowling, I Komargodski, KG Paterson, E Ronen, E Yogev
Cryptology ePrint Archive, 2022
12022
Pragmatic authenticated key agreement for IEEE Std 802.15. 6
H Khan, B Dowling, KM Martin
International Journal of Information Security, 1-19, 2021
12021
Secure Messaging Authentication against Active Man-in-the-Middle Attacks
B Dowling, B Hale
2021 IEEE European Symposium on Security and Privacy (EuroS&P), 54-70, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20