This summer I'm working as an undergraduate research assistant at the University of Waterloo, focusing on provable security and post quantum cryptography with Professor Douglas Stebila. My research is looking at KEMs built using the Fujisaki-Okamoto transform, and how to verify the security of their implementations using confirmation codes.

Last summer (2024) I worked as an undergraduate researcher assistant looking into zero-knowledge proofs under Professor Jeremy Clark. Together with Professor Clark and Masters student Youwei Deng, I wrote a handbook for gadgets in the polynomial interactive oracle proof (Poly-IOP) model used by the succinct non-interactive argument of knowledge (SNARK) Plonk. I also looked at the applications of Plonk-style poly-IOPs for auctions structures such as call markets. I gave a presentation based on my work at the Seminars in Undergraduate Mathematics in Montreal conference. You can check out the slides from it here.