Mr Benjamin Dowling

Personal profile

Ben Dowling began work in the Information Security Group as a Postdoctoral Research Assistant with Prof. Kenny Paterson in January 2017. His PhD was completed at the Queensland University of Technology (QUT) in December 2016, and focused primarily on the provable security of internet protocols. Of particular interest was the Transport Layer Security protocol, which protects the confidentiality and authenticity of much of the communication over the internet! Previous to this, he studied a MMSc at QUT, and a BSc at the University of Queensland. His current research interests remain in provable security, where he attempts to address the gap between theoretical security of protocols, and the "real" security of protocol implementations. In particular, expanding the frameworks used in the analysis of security protocols to cover novel properties and dependencies not currently examined in literature.

View all (4) »

ID: 27619074