Mix-nets from re-randomizable and replayable CCA-secure public-key encryption