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

Publications

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

Security Research

• Croc Full Plaintext Recovery - CVE-2021-31603

Academic Work

• Lecture on Modern Cryptography by Ruben Gonzalez and me: Cry.College