Benjamin Dowling

Benjamin Dowling serves as a Senior Lecturer in Cryptography within the Cybersecurity group at King's College London. Previously, he held academic positions at the University of Sheffield (Lecturer), ETH Zurich (Postdoctoral Researcher), and Royal Holloway, University of London (Research Fellow). He completed his PhD at Queensland University of Technology in 2017.

Education

• PhD in Cryptography, Queensland University of Technology (2017) with thesis: 'Provable Security of Internet Protocols'

Research Focus
Dowling specializes in provable security of real-world cryptographic protocols and anticipatory defense against future threats. His work bridges theoretical cryptography and practical implementation, targeting vulnerabilities in active adversary scenarios. Key methodologies include formal verification of protocol constructions and standards-influencing interventions.

Publication Trends
His research demonstrates consistent focus on securing messaging ecosystems (e.g., Signal protocol analysis), post-quantum transitions ('Post Quantum Noise'), and authentication resilience against active attacks. These works collectively advance cryptographic standards through rigorous security proofs and practical protocol redesign, emphasizing real-world applicability over theoretical constructs.

Research Affiliation
At King's College London, Dowling contributes to the Cybersecurity research group's mission of developing next-generation cryptographic protections against evolving threat landscapes, with particular emphasis on protocol-level defenses.