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]
No references recorded for this publication.
No citations of this publication recorded.