Academic I study security protocols, particularly definitions and formal analysis (in the sense of formal mathematics, not that of formal methods) as applied to the protocols 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.