Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.