Wind Wong

Email: t.f.w.wong@vu.nl or im@windtfw.com

GitHub: https://github.com/windtf

Google Scholar: Wind Wong

My interests are:

• Type theory
• Formal Verification
• Cryptography
• Programming languages

Papers

• Pantomime: Constructive Leakage Proofs via Simulation. PLDI 2026 (Conditional Accepted)
  [pdf]
• Symmetries in Sorting. TYPES 2025 Post-Proceedings (In Submission)
  [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]

Projects

• Wireproxy. Userspace proxy for wireguard
  [github]