My interests are: Type theory, formal verification, reverse engineering, cryptography, and programming languages.
Papers
PLDI'26.
Pantomime: Constructive Leakage Proofs via Simulation.
Robin Webbers, Robert Schenck, Wind Wong, Kristina Sojakova, Klaus v. Gleissenthall [pdf][appendix]
TYPES'25 Post-proc.
Symmetries in Sorting.
Vikraman Choudhury, Wind Wong [arxiv]
Talks
On commutativity, total orders, and sorting.
HoTT/UF 2024 [abstract][slides]
CVEs
Constant-time 64-bit multiplication missing in wolfSSL on RISC-V RV32I architectures.
CVE-2026-3579 [nvd]
Compiler-induced timing leak in wolfSSL on RISC-V.
CVE-2026-3580 [nvd]
Theses
Intrinsically-Typed Interpreter for Generalized Multiparty Session Calculus.
MSci, University of Glasgow, 2025 [pdf]
Sorting Correctly with Symmetries.
BSc, University of Glasgow, 2024 [pdf]