Mix-Nets from Re-randomizable and Replayable CCA-Secure Public-Key Encryption | Publicación