Cryptology ePrint Archive: Report 2014/341

Available versions in chronological order

20140515:081901 (posted 15-May-2014 08:19:01 UTC): Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking; Ralf Kuesters and Tomasz Truderung and Andreas Vogt; Original publication (with major differences): Security and Privacy 2014

[ Cryptology ePrint archive ]