@article{iscf2013111,
author={AUTHOR = {Tamura, Shinsuke and Taniguchi, Shuji},
title={Simplified Verifiable Re-encryption Mix-nets},
journal={Information Security and Computer Fraud},
volume={1},
number={1},
pages={1--7},
year={2013},
url={http://pubs.sciepub.com/iscf/1/1/1},
abstract={<b> </b> Under the assumption that numbers of data that are encrypted and decrypted are sufficiently large and final decryption results of individual data can be publicly disclosed, a simplified mechanism for implementing re-encryption type verifiable mix-nets is proposed. Different from already proposed mechanisms, in which mix-servers prove their honest encryptions while concealing their encryption parameters, mix-servers in the proposed scheme simply disclose their aggregate encryption parameter values. As a consequence anyone can verify encryption results without interacting with mix-servers. Also, its primary verification procedures examine only aggregate behavior of mix-servers, in other words, it does not examine correct encryptions of individual data. Therefore computation volumes required for mix-servers to prove their correct behaviors are reduced substantially. In addition, the proposed scheme can cope with various attacks from malicious entities more effectively than optimistic verifiable mix-nets that also examine only aggregate behaviors of mix-nets.},
doi={10.12691/iscf-1-1-1}
publisher={Science and Education Publishing}
}