Academic 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 student, supervised by Cas Cremers.newWe wrote On Ends-to-Ends Encryption, looking at improving the security of group messaging protocols while still respecting the constraints of modern asynchronous protocols like Signal.
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.