I’m a security & cryptography engineer and researcher based in Berlin. Currently I’m working on Mozilla’s cryptography library NSS as well as researching formally verifiable specifications and implementations of cryptographic primitives. My areas of interest range from privacy preserving data collection and computation to authentication and key exchange.
Before joining Mozilla in Berlin I finished my PhD at the University of Surrey supervised by Mark Manulis and Shujun Li on the topic of password based cryptography.