[en] This paper presents MarkPledge3 (MP3), the most efficient
specification of the MarkPledge (MP) technique. The MP technique allows
the voter to verify that her vote is correctly encrypted with a soundness
of 1−2−α, with 20 ≤ α ≤ 30, just by performing a match of a small
string (4-5 characters). Due to its simplicity, verifying the election public
data (vote encryptions and tally) in MP3 is 2.6 times faster than with
MP2 and the vote encryption creation on devices with low computational
power, e.g. smart cards, is approximately 6 times better than the best of
the previous MP specifications (MP1 and MP2).
Disciplines :
Sciences informatiques
Auteur, co-auteur :
JOAQUIM, Rui ; Inesc-ID and Instituto Politécnico de Lisboa - IPL > GSD and Instituto Superior de engenharia de Lisboa - ISEL
Ribeiro, Carlos; Inesc-ID and Universidade Técnica de Lisboa - UTL > GSD and Instituto Superior Técnico - IST
Langue du document :
Anglais
Titre :
An Efficient and Highly Sound Voter Verification Technique and Its Implementation
Chaum, D., Pedersen, T.P.: Wallet Databases with Observers. In: Brickell, E.F. (ed.) CRYPTO 1992. LNCS, vol. 740, pp. 89-105. Springer, Heidelberg (1993)
Chaum, D., Ryan, P.Y.A., Schneider, S.: A Practical Voter-Verifiable Election Scheme. In: De Capitani di Vimercati, S., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 118-139. Springer, Heidelberg (2005)
Clarkson, M., Chong, S., Myers, A.: Civitas: Toward a secure voting system. In: IEEE Symposium on Security and Privacy, pp. 354-368 (May 2008)
Cramer, R., Gennaro, R., Schoenmakers, B.: A Secure and Optimally Efficient Multi-authority Election Scheme. In: Fumy, W. (ed.) EUROCRYPT 1997. LNCS, vol. 1233, pp. 103-118. Springer, Heidelberg (1997)
ElGamal, T.: A public-key cryptosystem and signature scheme based on discrete logarithms. IEEE Transactions on Information Theory IT-31(4), 469-472 (1985)
Fujioka, A., Okamoto, T., Ohta, K.: A Practical Secret Voting Scheme for Large Scale Elections. In: Seberry, J., Zheng, Y. (eds.) AUSCRYPT 1992. LNCS, vol. 718, pp. 244-251. Springer, Heidelberg (1993)
Hirt, M., Sako, K.: Efficient Receipt-Free Voting Based on Homomorphic Encryption. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol. 1807, pp. 539-556. Springer, Heidelberg (2000)
Joaquim, R., Ribeiro, C.: An efficient and highly sound voter verification technique and its implementation - extended version. Tech. Rep. 40/2011, INESC-ID (September 2011)
Joaquim, R., Ribeiro, C., Ferreira, P.: VeryVote: A Voter Verifiable Code Voting System. In: Ryan, P.Y.A., Schoenmakers, B. (eds.) VOTE-ID 2009. LNCS, vol. 5767, pp. 106-121. Springer, Heidelberg (2009)
Juels, A., Catalano, D., Jakobsson, M.: Coercion-resistant electronic elections. In: WPES, Alexandria, Virginia, USA, pp. 61-70 (November 2005)
Moran, T., Naor, M.: Receipt-Free Universally-Verifiable Voting with Everlasting Privacy. In: Dwork, C. (ed.) CRYPTO 2006. LNCS, vol. 4117, pp. 373-392. Springer, Heidelberg (2006), http://www.seas.harvard.edu/-talm/papers/ MN06-voting.pdf
Neff, C.A.: Practical high certainty intent verification for encrypted votes (2004), http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.134. 1006&rep=rep1&type=pdf
NIST: Gigital signature standard (dss) (June 2009), http://csrc.nist.gov/ publications/fips/fips186-3/fips-186-3.pdf, FIPS 186-3
Okamoto, T.: Receipt-free Electronic Voting Schemes for Large Scale Elections. In: Christianson, B., Crispo, B., Lomas, M., Roe, M. (eds.) Security Protocols 1997. LNCS, vol. 1361, pp. 25-35. Springer, Heidelberg (1998)
Sandler, D., Derr, K., Wallach, D.S.: Votebox: A tamper-evident verifiable electronic voting system. In: 16th USENIX Security Symposium (2007)
Sterckx, M., Gierlichs, B., Preneel, B., Verbauwhede, I.: Efficient implementation of anonymous credentials on java card smart cards. In: 1st IEEE International Workshop on Information Forensics and Security, pp. 106-110 (2009)
