Paper Info
Title
SoK: Techniques for Verifiable Mix Nets
Abstract
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 as secure e-voting, require that the employed mix net be verifiable. In the literature, numerous techniques have been proposed to make mix nets verifiable. Some of them have also been employed in politically binding elections. Verifiable mix nets differ in many aspects, including their precise verifiability levels, possible trust assumptions, and required cryptographic primitives; unfortunately, these differences are often opaque, making comparison painful. To shed light on this intransparent state of affairs, we provide the following contributions. For each verifiability technique proposed to date, we first precisely describe how the underlying basic mix net is to be extended and which (additional) cryptographic primitives are required, and then study its verifiability level, including possible trust assumptions, within one generic and expressive verifiability framework. Based on our uniform treatment, we are able to transparently compare all known verifiability techniques for mix nets, including their advantages and limitations. Altogether, our work offers a detailed and expressive reference point for the design, employment, and comparison of verifiable mix nets.
Year
DOI
Venue
2020
10.1109/CSF49147.2020.00012
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
Keywords
DocType
Volume
mix nets 40 years,employed mix net,verifiable mix nets,precise verifiability levels,possible trust assumptions,verifiability technique,underlying basic mix net,verifiability level,generic verifiability framework,expressive verifiability framework,known verifiability techniques,time 40.0 year
Conference
2020
ISSN
ISBN
Citations 
1940-1434
978-1-7281-6573-8
2
PageRank 
References 
Authors
0.38
24
2
Name
Order
Citations
PageRank
Thomas Haines1510.26
Johannes Müller220.38