Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001. Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. IACR Cryptology ePrint Archive, 2014:341, 2014. [doi]
@article{KustersT014,
title = {Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking},
author = {Ralf Küsters and Tomasz Truderung and Andreas Vogt 0001},
year = {2014},
url = {http://eprint.iacr.org/2014/341},
researchr = {https://researchr.org/publication/KustersT014},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2014},
pages = {341},
}