katriel cohn-gordon

Academic   I study security protocols, particularly definitions and formal analysis (in the sense of formal mathematics, not that of formal methods) as applied to the protocols that people really use on the modern Internet. I'm interested in Signal, Certificate Transparency, TextSecure/Axolotl, TLS 1.3, the Tamarin prover, WebRTC, and other such things. I'm an Oxford Cyber Security CDT student, supervised by Cas Cremers.

newLuke, Cas, Douglas, Ben and I recently published the paper A Formal Analysis of the Signal Messaging Protocol in EuroS&P '17, with associated press coverage. Signal is the protocol currently powering WhatsApp.

Industry   Past jobs include full-time work at GSA Capital and internships at Google, Red Gate and Cantab Capital. I'll be an intern at Facebook London this summer, working on Messenger.

Posts   I sometimes post long-form and short-form things.

Internet   You can find me on many other websites. I used to spend a lot of time on Stack Overflow but these days it's Github if anything. The usual collection of profiles are where you'd expect them on Facebook, MetaFilter, and LinkedIn. I listen to music through Spotify and motivate myself with Beeminder. FollowUpThen snoozes my emails, forecast.io handles weather, and Splitwise organises bills.

Contact me via email, via keybase if you are that way inclined.