Academia I study security protocols, particularly the ones 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 PhD student, supervised by Cas Cremers.You can find my publications on Google Scholar. newCas and I wrote the extended abstract Mind the Gap, on the gap between formal analyses of messaging protocols and the properties that users may actually expect their apps to provide.
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, darksky handles weather, and Splitwise organises bills.