Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases