I'm an applied cryptographer in the final stages of my PhD on protocol design and analysis, particularly secure messaging. I tweet as @katrielalex. I'm an aspiring feminist, trying to be a better ally, and my pronoun.is/he.
Research My research interests include Signal, TLS 1.3, Certificate and Key Transparency, the Tamarin prover, and WebRTC. You can find publications on Google Scholar. My Erdős number is four (one, two, three, four) if you allow conference publications, and infinite otherwise. I guest-reviewed for Black Hat USA and EU this year.
newIt looks like our our ART paper is going to become the starting point for an IETF working group called MLS, looking at improving secure messaging. Hooray! As always, some Totally Accurate Register Coverage.
Code I've been writing code for a while now, including at GSA Capital, Facebook, Google, Red Gate and Cantab Capital. I'm most at home writing data pipelines and scripting, but have turned my hand to all sorts (except assembly. I hate writing assembly).
Misc You can find me on many other websites. I rarely post long-form and short-form things, and 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, Twitter and LinkedIn. I listen to music through Spotify and motivate myself with Beeminder. FollowUpThen snoozes my emails, darksky handles weather, and Splitwise organises bills.
Contact me via email@example.com, or via keybase if you are that way inclined.