Concepedia

Benjamin Dowling

BD

12

Publications

710

Citations

12

H-Index

2014

Active since

Affiliations

Queensland University of Technology(Current)

Technical University of Darmstadt

Royal Holloway University of London

University of Sheffield

McMaster University

Benjamin Dowling is an author at Queensland University of Technology specializing in engineering, data security, and information security.

Top concepts

EngineeringCryptographyData SecurityInformation SecurityFormal VerificationData PrivacyComputer ScienceInternet Of ThingsBlockchainFormal Methods

Publications per year

2014–2023

12

Publications

12

A Formal Security Analysis of the Signal Messaging Protocol

Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling et al. · 2017 · 198 citations

Engineering, Double Ratchet, Core Protocol +15

CATH: expanding the horizons of structure-based functional annotations for genome sequences

Ian Sillitoe, Natalie L. Dawson, Tony E. Lewis et al. · Nucleic Acids Research · 2018 · 167 citations · Full text

Latest Data, Structural Bioinformatics, Genetics +23

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates

Benjamin Dowling, Marc Fischlin, Felix Günther et al. · 2015 · 113 citations

Previous Tls Versions, Cryptographic Analysis, Engineering +17

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol

Benjamin Dowling, Marc Fischlin, Felix Günther et al. · Journal of Cryptology · 2021 · 76 citations · Full text

Cryptographic Analysis, Engineering, Authentication Protocol +12

Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol

Florian Bergsma, Benjamin Dowling, Florian Kohlar et al. · 2014 · 27 citations

Engineering, Authentication Protocol, Information Security +9

Rows per page

1–5 of 12