A CCA-secure Verifiable Mix-Net | IEEE Conference Publication | IEEE Xplore