katriel cohn-gordon

Academic   I study security protocols, particularly definitions and formal analysis (in the sense of formal mathematics, not that of formal methods). I'm interested in 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. Last year, Luke, Cas and I published the paper On Post-Compromise Security in CSF '16.

Industry   Past jobs include full-time work at GSA Capital and internships at Google, Red Gate and Cantab Capital. I'm not currently looking, though.

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.