CryptoDB
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking
Authors: | |
---|---|
Download: |
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 }