F-mix — Mix-net, verifiable shuffle

F-mix (Mix-net, verifiable shuffle) is part of Privacy and Anonymity in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Wikström. On the Security of Mix-Nets and Hierarchical Group Signatures. PhD thesis, KTH Royal Institute of Technology, 2005.