Institutes: Microsoft Research, (Previously) New York University, Stanford University
Email: firstnamelastname {at} microsoft [dot] com
About Me
I am a Senior Researcher at Microsoft Research. My research is on proof systems (more generally, interactive reductions). In particular, I am concerned about their practical efficiency (time, memory, communication complexity) and their post-quantum security (can we build practical systems from a variety of plausibly post-quantum assumptions?).
Previously, I was an Assistant Professor/Faculty Fellow at the Courant Institute at New York University. Prior to that, I was a Stanford CS Ph.D. student (advised by Dan Boneh) and a member of the Applied Cryptography Group. During my Ph.D., I interned at Microsoft Research in Redmond and worked with Srinath Setty. As an undergrad, I was a member of the Stanford Empirical Research Group advised by Zakir Durumeric. I also briefly worked with Marco Patrignani on secure compilation.
Here is my CV-2025 (Outdated).
Publications (Google Scholar)
Maltese: Succinct Polynomial Commitments from Lattices
Katarina Cheng, Wilson Nguyen, Nirvan Tyagi
Asiacrypt 2026, eprint
Limber: Low Overhead SNARKs for Integers from Any PCS
Jessica Chen*, Lucas Xia*, Wilson Nguyen, Benedikt Bunz
* denotes equal contributors
eprint
Neo and SuperNeo: Post-quantum folding with pay-per-bit costs over small fields
Wilson Nguyen, Srinath Setty
Crypto 2026, eprint
Hop: A Modern Transport and Remote Access Protocol
Paul Flammarion, George Hosono, Wilson Nguyen, Laura Bauman, Daniel Rebelsky, Gerry Wan, David Adrian, Zakir Durumeric
Distinguished Paper Runner-up Award
Usenix Security 2026, NSF PDF
Neo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitments
Wilson Nguyen, Srinath Setty
eprint
Arc: Accumulation for Reed-Solomon Codes
Benedikt Bunz, Pratyush Mishra, Wilson Nguyen, William Wang
Crypto 2025, eprint
Accumulation without Homomorphism
Benedikt Bunz, Pratyush Mishra, Wilson Nguyen, William Wang
ITCS 2025, eprint
Mangrove: A Scalable Framework for Folding-based SNARKs
Wilson Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh
Crypto 2024, Talk, Slides, eprint
MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups
Zijing Di, Lucas Xia, Wilson Nguyen, Nirvan Tyagi
Asiacrypt 2024, eprint
Revisiting the Nova Proof System on a Cycle of Curves
Wilson Nguyen, Dan Boneh, Srinath Setty
AFT2023, Talk, eprint
Efficient Functional Commitments: How to Commit to Private Functions
Dan Boneh, Wilson Nguyen, Alex Ozdemir
Talk, eprint
An Empirical Analysis of HTTPS Configuration Security
Camelia Simoiu, Wilson Nguyen, Zakir Durumeric
arxiv
Teaching & Mentorship
NYU CSCI-UA.0310: Basic Algorithms
(Recitation Instructor 2025, 2026)
Stanford CS355: Topics in Cryptography
(Instructor 2022, 2023, 2024)
Stanford IPS/INTLPOL268: Hacklab
(TA 2018, Head TA 2019)
I’ve had the privilege of working with the following amazing students.
- Hunter Lindauer (WSU BS)
- Katarina Cheng (UW Ph.D.)
- Jessica Chen (NYU Ph.D.)
- William Wang (NYU Ph.D.)
- Zijing “Christie” Di (Stanford MS → EPFL Ph.D.)
- Lucas Xia (Stanford MS → Aztec → NYU Ph.D.)
- Bharath Namboothiry (Stanford BS → UPenn Ph.D.)
- Ihyun Nam (Stanford BS → Stanford Ph.D.)
- Uma Dayal (Stanford BS → Succinct → Brown Ph.D.)
- Anthony Argyropoulos (Stanford BS → Stanford MS)
- Madeleine Charity (Stanford BS → Privy)