katriel cohn-gordon

Hi, I'm Katriel.

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, and other such things.

I'm an Oxford Cyber Security CDT student, supervised by Cas Cremers.

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.