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.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.
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.