Demo Data from SIGIR 2026 / reviewers in the wild / expert
Wilson Nguyen
dblp:305/3710 · also Wilson D. Nguyen
· DBLP profile ↗
6ranked-venue papers
3as first author
6since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 5 · 3 first-author · 5 since 2021Theory of computation · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
3 papers |
Cryptographic protocols and secure computation · 50% Cryptographic primitives and cryptanalysis · 50% | |
| Theoretical computer science
1 paper |
Coding theory · 100% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cryptographic primitives and cryptanalysis › cryptographic foundations
cryptographic commitments |
0.9 | 1 | 2025 | Arc: Accumulation for Reed-Solomon Codes · CRYPTO (7) 2025 |
Cryptographic primitives and cryptanalysis › cryptographic foundations › cryptographic commitments
polynomial commitment |
0.9 | 1 | 2025 | Arc: Accumulation for Reed-Solomon Codes · CRYPTO (7) 2025 |
Coding theory › error-correcting codes
reed-solomon codes |
0.9 | 1 | 2025 | Arc: Accumulation for Reed-Solomon Codes · CRYPTO (7) 2025 |
Cryptographic protocols and secure computation › proof systems › zero-knowledge proofs
succinct arguments |
0.8 | 1 | 2024 | MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups · ASIACRYPT (5) 2024 |
Cryptographic protocols and secure computation › proof systems
succinct non-interactive arguments of knowledge |
0.8 | 1 | 2024 | Mangrove: A Scalable Framework for Folding-Based SNARKs · CRYPTO (10) 2024 |
Methods — techniques the papers use, named apart from their topics
folding · 1.7accumulation · 1.7vector lookups · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Neo and SuperNeo: Post-quantum Folding with Pay-per-Bit Costs over Small Fields
Wilson Nguyen, Srinath Setty |
CRYPTO (9) | 1 |
| 2025 | Arc: Accumulation for Reed-Solomon Codes
Benedikt Bünz, Pratyush Mishra 0001, Wilson Nguyen |
CRYPTO (7) | 3 |
| 2025 | Accumulation Without HomomorphismabstractAccumulation schemes are a simple yet powerful primitive that enable highly efficient constructions of incrementally verifiable computation (IVC). Unfortunately, all prior accumulation schemes rely on homomorphic vector commitments whose security is based on public-key assumptions. It is an interesting open question to construct efficient accumulation schemes that avoid the need for such assumptions. In this paper, we answer this question affirmatively by constructing an accumulation scheme from non-homomorphic vector commitments which can be realized from solely symmetric-key assumptions (e.g., Merkle trees). We overcome the need for homomorphisms by instead performing spot-checks over error-correcting encodings of the committed vectors. Unlike prior accumulation schemes, our scheme only supports a bounded number of accumulation steps. We show that such bounded-depth accumulation still suffices to construct proof-carrying data (a generalization of IVC). We also demonstrate several optimizations to our PCD construction which greatly improve concrete efficiency. Benedikt Bünz, Pratyush Mishra 0001, Wilson Nguyen |
ITCS | 3 |
| 2024 | MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups
Zijing Di, Lucas Xia, Wilson Nguyen, Nirvan Tyagi |
ASIACRYPT (5) | 3 |
| 2024 | Mangrove: A Scalable Framework for Folding-Based SNARKs
Wilson Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh |
CRYPTO (10) | 1 |
| 2023 | Revisiting the Nova Proof System on a Cycle of Curves
Wilson Nguyen, Dan Boneh, Srinath Setty |
AFT | 1 |