SAFE RPC - Auditing Mixnets Safely using Randomized Partial Checking

Stefan Popoveniuc, Eugen Leontie

Abstract

Secure voting systems like PunchScan and Scantegrity use mixnets which are verified using Randomized Partial Checking (RPC). This simple and efficient technique can lead to privacy loss and may, in an extreme case, result in linking all the clear text ballots to the voters who cast them, thus completely destroying the secrecy of all ballots and circumventing the functionality of the mixnet. We suggest a simple technique, Secure RPC (SRPC), that uses RPC in a way that guarantees maximal privacy in all possible cases. We prove that SRPC does not asymptotically reduce the integrity offered by RPC.

References

  1. Chaum, D. (2004). Secret-ballot receipts: True voterverifiable elections. IEEE Security and Privacy, pages 38-47.
  2. Chaum, D., Essex, A., Carback, R., Clark, J., Popoveniuc, S., Sherman, A. T., and Vora, P. (2008). Scantegrity: End-to-end voter verifiable optical-scan voting. IEEE Security and Privacy.
  3. Chaum, D. L. (1981). Untraceable electronic mail, return address, and digital pseudonyms. Communication of ACM, pages 84-90.
  4. Gomulkiewicz, M., Klonowski, M., and Kutylowski, M. (2003). Rapid mixing and security of Chaums visual electronic voting. In In Proceedings of ESORICS 2003, pages 132-145. Springer-Verlag.
  5. Jakobsson, M., Juels, A., and Rivest, R. L. (2002). Making mix nets robust for electronic voting by randomized partial checking. In Proceedings of the 11th USENIX Security Symposium, pages 339-353, Berkeley, CA, USA. USENIX Association.
  6. Neff, C. A. (2001). A verifiable secret shuffle and its application to e-voting. In 8th ACM Conference on Computer and Communications Security, pages 116-125.
  7. Popoveniuc, S. and Hosp, B. (2006). An introduction to PunchScan. In IAVoSS Workshop On Trustworthy Elections (WOTE 2006), Robinson College, Cambridge UK.
Download


Paper Citation


in Harvard Style

Popoveniuc S. and Leontie E. (2010). SAFE RPC - Auditing Mixnets Safely using Randomized Partial Checking . In Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2010) ISBN 978-989-8425-18-8, pages 165-170. DOI: 10.5220/0002939601650170


in Bibtex Style

@conference{secrypt10,
author={Stefan Popoveniuc and Eugen Leontie},
title={SAFE RPC - Auditing Mixnets Safely using Randomized Partial Checking},
booktitle={Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2010)},
year={2010},
pages={165-170},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002939601650170},
isbn={978-989-8425-18-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2010)
TI - SAFE RPC - Auditing Mixnets Safely using Randomized Partial Checking
SN - 978-989-8425-18-8
AU - Popoveniuc S.
AU - Leontie E.
PY - 2010
SP - 165
EP - 170
DO - 10.5220/0002939601650170