EDBT 2026 Demo / reviewers in the wild / expert
Orestis Chardouvelis
dblp:298/9130
· DBLP profile ↗
4ranked-venue papers
3as first author
4since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 4 · 3 first-author · 4 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Quantum Key Leasing for PKE and FHE with a Classical Lessor
Orestis Chardouvelis, Vipul Goyal, Aayush Jain, Jiahui Liu 0003 |
EUROCRYPT (3) | 1 |
| 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 | 3 |
| 2021 | Rate-1 Quantum Fully Homomorphic Encryption
Orestis Chardouvelis, Nico Döttling, Giulio Malavolta |
TCC (1) | 1 |
| 2021 | The Round Complexity of Quantum Zero-Knowledge
Orestis Chardouvelis, Giulio Malavolta |
TCC (1) | 1 |