Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001. Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. In 2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014. pages 343-358, IEEE, 2014. [doi]
Abstract is missing.