EDBT 2026 Demo / reviewers in the wild / expert
Abhiram Kothapalli
dblp:208/8364
· DBLP profile ↗
7ranked-venue papers
4as first author
7since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 7 · 4 first-author · 7 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | NeutronNova: Group-Based Folding Done Right
Abhiram Kothapalli, Srinath Setty |
CRYPTO (9) | 1 |
| 2025 | A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
Sanjam Garg, Mohammad Hajiabadi, Dimitris Kolonelos, Abhiram Kothapalli, Guru-Vamsi Policharla |
CRYPTO (3) | 4 |
| 2025 | ALPACA: Anonymous Blocklisting with Constant-Sized Updatable ProofsabstractIn recent years, online anonymity has become increasingly important but is under threat due to the challenges of moderating anonymous spaces. A promising cryptographic solution, known as anonymous blocklisting, allows users to post anonymously while still enabling moderation. Moderation via anonymous blocklisting roughly works by requiring that when users post a message they attach a cryptographic proof that they did not author any posts on a “blocklist”. Existing anonymous blocklisting schemes are unfortunately still far from achieving practical performance for large block-lists. This is essentially due to all prior works requiring a user to (cryptographically) reprocess blocklist entries many times. Relatedly, prior works have relatively high verification times and proof sizes. In this work, we introduce ALPACA, the first anonymous blocklisting system with the property that a user only needs to do a constant amount of work per blocklist entry. Thus, our scheme has asymptotically optimal performance. Our scheme is also the first to have verification times and proof sizes that are independent of the number of blocklist entries. Our key technique is a new variant of incrementally verifiable computation (IVC), designed to ensure anonymity. Along the way, we introduce new definitions to formally establish security. On a mid-range laptop, ALPACA's proof generation time is always 6.15 seconds and proof size is 25.6KBs. On a server, the verification time is always 400ms. Abhiram Kothapalli, Orestis Chardouvelis, Riad S. Wahby, Paul Grubbs |
SP | 2 |
| 2024 | HyperNova: Recursive Arguments for Customizable Constraint Systems
Abhiram Kothapalli, Srinath Setty |
CRYPTO (10) | 1 |
| 2023 | Algebraic Reductions of Knowledge
Abhiram Kothapalli, Bryan Parno |
CRYPTO (4) | 1 |
| 2022 | Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla |
CRYPTO (4) | 1 |
| 2022 | Transparency Dictionaries with Succinct Proofs of Correct Operation
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty |
NDSS | 2 |