International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking

Authors:
Ralf Küsters
Tomasz Truderung
Andreas Vogt
Download:
URL: https://eprint.iacr.org/2014/341
Search ePrint
Search Google
BibTeX
@article{eprint-2014-25674,
  title={Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking},
  journal={IACR Cryptology ePrint Archive},
  volume={2014},
  pages={341},
  url={https://eprint.iacr.org/2014/341},
  author={Ralf Küsters and Tomasz Truderung and Andreas Vogt},
  year=2014
}