VLDB 2026 Research / reviewers in the wild / expert
Henri Devillez
dblp:295/4646
· DBLP profile ↗
4ranked-venue papers
4as first author
4since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 3 · 3 first-author · 3 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Can we cast a ballot as intended and be receipt free?abstractThis paper explores the interaction between receipt- freeness and cast-as-intended verifiability, a property that has been overlooked until now or assumed to be granted through procedural means in the context of receipt-free voting protocols.We first demonstrate that it is impossible to obtain a receipt-free voting protocol with cast-as-intended verifiability if the voting process is non-interactive, unless a trusted authority is available. We also demonstrate that, if a trusted voter registration authority is available, then cast-as-intended verifiability and receipt-freeness can be obtained.Furthermore, after extending standard receipt-freeness security definitions to an interactive voting (and corruption) setting, we demonstrate that the same security properties can be obtained using an interactive voting process.Finally, we discuss the performance of our protocols based on a prototype implementation. Henri Devillez, Olivier Pereira, Thomas Peters, Quentin Yang |
SP | 1 |
| 2022 | Traceable Receipt-Free Encryption
Henri Devillez, Olivier Pereira, Thomas Peters |
ASIACRYPT (3) | 1 |
| 2022 | How to Verifiably Encrypt Many Bits for an Election?
Henri Devillez, Olivier Pereira, Thomas Peters |
ESORICS (2) | 1 |
| 2021 | Two-Agent Tree Evacuation
Henri Devillez, Beni Egressy, Robin Fritsch, Roger Wattenhofer |
SIROCCO | 1 |