About Me

I’m a member of the Cryptography Engineering team at Mozilla, working on the design, development and deployment of privacy enhancing technologies. I’m also a Core Contributor with the Tor Project, where I work with the Metrics and Network Health teams.

Previously, I was a PostDoc in the Information Security Group at ETH Zurich after completing my PhD at the University of Oxford with Prof. Cas Cremers. My research focused on the design, development and application of cryptographic protocol analysis tools like the Tamarin Prover.