I'm interested in provable security, and how we can better align real-world security notions with the academic models in use today. I've spent some time looking at the Internet's public key infrastructure and the Certificate Transparency proposal, but am now looking at stateful security protocols and the extra guarantees they can provide.
tl;dr: maths undergrad, quantum masters, CS CDT DPhil
I did my first cryptanalysis as part of the National Cipher Challenge, before studying for the Maths Tripos at Jesus College, Cambridge. My interests there were in formal logic and foundations, and with that in mind I jumped ship for a masters' degree at Merton College, Oxford, writing my masters thesis with Chris Heunen in the quantum group. That investigated at protocols for bit commitment in the categorical formalism, and in particular how the impossibility result for traditional quantum mechanics carries across to the categorical world. Then I left for a year to work in finance, before returning to Oxford in the first cohort of the Cyber Security CDT. The CDT begins with a year of taught courses to lay a broad security foundation, and then I joined Cas's research group.
A Formal Security Analysis of the Signal Messaging Protocol
Katriel Cohn−Gordon‚ Cas Cremers‚ Benjamin Dowling‚ Luke Garratt and Douglas Stebila
In 2nd IEEE European Symposium on Security and Privacy (EuroS&P). IEEE. 2017.
On Post−Compromise Security
Katriel Cohn−Gordon‚ Cas Cremers and Luke Garratt
In 29th Computer Security Foundations Symposium (CSF). IEEE. 2016.