My research investigates the challenges involved in using formal verification tools—specifically EasyCrypt—to formalize the security of cryptographic protocols. I am particularly interested in understanding how these tools can be effectively applied to prove security properties of key exchange and other foundational protocols. A central goal of my work is to contribute more formal, machine-checked proofs to the field of cryptography. I am also passionate about improving the accessibility of formal methods, aiming to make tools like EasyCrypt more approachable for a broader audience, including researchers outside the formal methods community.

• NTNU Applied Cryptology Lab
• Formosa Crypto