Zero-knowledge protocols are one of the fundamental concepts in modern cryptography and
have countless applications. However, after more than 30 years from their introduction, there …

Atom is an anonymous messaging system that protects against traffic-analysis attacks.
Unlike many prior systems, each Atom server touches only a small fraction of the total …

Modern remote electronic voting systems, such as the prominent Helios system, are
designed to provide vote privacy and verifiability, where, roughly speaking, the latter means …

Since David Chaum introduced the idea of mix nets 40 years ago, they have become widely
used building blocks for privacy-preserving protocols. Several important applications, such …

We provide the first machine-checked proof of privacy-related properties (including ballot
privacy) for an electronic voting protocol in the computational model. We target the popular …

Verifiable mix nets, and specifically proofs of (correct) shuffle, are a fundamental building
block in numerous applications: these zero-knowledge proofs allow the prover to produce a …

Mix nets are often used to provide privacy in modern security protocols, through shuffling.
Some of the most important applications, such as secure electronic voting, require mix nets …

Mix nets with randomized partial checking (RPC mix nets) have been introduced by
Jakobsson, Juels, and Rivest as particularly simple and efficient verifiable mix nets. These …

One way to guarantee security against malicious voting servers is to use NIZK shuffle
arguments. Up to now, only two NIZK shuffle arguments in the CRS model have been …

Users often wish to communicate anonymously on the Internet, for example, in group
discussion or instant messaging forums. Existing solutions are vulnerable to misbehaving …