About Me


Hi, currently I am a PhD student at the Max Planck Institute for Security and Privacy (MPI-SP) located in Bochum. My supervisor is Peter Schwabe. I also participate in CTF competitions with RedRocket.

Research Interest

  • Post-Quantum Cryptography
  • Cryptographic Protocols
  • Formal Verification
  • High-Assurance Cryptography


Master thesis: A formal Security Analysis of the EdDSA Signature Scheme

Security Research

Academic Work