{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:10:10Z","timestamp":1743984610541,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331664"},{"type":"electronic","value":"9783642331671"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33167-1_25","type":"book-chapter","created":{"date-parts":[[2012,8,18]],"date-time":"2012-08-18T10:07:05Z","timestamp":1345284425000},"page":"433-450","source":"Crossref","is-referenced-by-count":3,"title":["Applying Divertibility to Blind Ballot Copying in the Helios Internet Voting System"],"prefix":"10.1007","author":[{"given":"Yvo","family":"Desmedt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pyrros","family":"Chaidos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Adida, B.: Helios: Web-based Open-Audit Voting. In: USENIX Security Symposium, pp. 335\u2013348 (2008)"},{"key":"25_CR2","unstructured":"Adida, B., de Marneffe, O., Pereira, O., Quisquater, J.J.: Electing a University President using Open-Audit Voting: Analysis of real-world use of Helios. In: 2009 Electronic Voting Technology Workshop\/Workshop on Trustworthy Elections (EVT\/WOTE 2009) (Online proceedings) (2009)"},{"key":"25_CR3","volume-title":"Social Choice and Individual Values","author":"K.J. Arrow","year":"1963","unstructured":"Arrow, K.J.: Social Choice and Individual Values, 2nd edn. Yale University Press, New Haven (1963)","edition":"2"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Balzarotti, D., Banks, G., Cova, M., Felmetsger, V., Kemmerer, R., Robertson, W., Valeur, F., Vigna, G.: Are your votes really counted?: testing the security of real-world electronic voting systems. In: Proceedings of the 2008 International Symposium on Software Testing and Analysis, pp. 237\u2013248. ACM (2008)","DOI":"10.1145\/1390630.1390660"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Bellare, M., Rogaway, P.: Random oracles are practical: A paradigm for designing efficient protocols. In: Proceedings of the 1st ACM Conference on Computer and Communications Security, pp. 62\u201373. ACM (1993)","DOI":"10.1145\/168588.168596"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/BFb0054851","volume-title":"Algorithmic Number Theory","author":"D. Boneh","year":"1998","unstructured":"Boneh, D.: The Decision Diffie-Hellman Problem. In: Buhler, J.P. (ed.) ANTS 1998. LNCS, vol.\u00a01423, pp. 48\u201363. Springer, Heidelberg (1998)"},{"key":"25_CR7","unstructured":"Bulens, P., Giry, D., Pereira, O.: Running mixnet-based elections with Helios. In: Electronic Voting Technology Workshop\/Workshop on Trustworthy Elections. Usenix (2011)"},{"issue":"1","key":"25_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1093\/comjnl\/35.1.21","volume":"35","author":"M. Burmester","year":"1992","unstructured":"Burmester, M., Desmedt, Y., Beth, T.: Efficient zero-knowledge identification schemes for smart cards. The Computer Journal\u00a035(1), 21 (1992)","journal-title":"The Computer Journal"},{"issue":"4","key":"25_CR9","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/1008731.1008734","volume":"51","author":"R. Canetti","year":"2004","unstructured":"Canetti, R., Goldreich, O., Halevi, S.: The random oracle methodology, revisited. Journal of the ACM (JACM)\u00a051(4), 557\u2013594 (2004)","journal-title":"Journal of the ACM (JACM)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Chaum, D.: Blind signatures for untraceable payments. In: Advances in Cryptology: Proceedings of Crypto., vol.\u00a082, pp. 199\u2013203 (1983)","DOI":"10.1007\/978-1-4757-0602-4_18"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-48071-4_7","volume-title":"Advances in Cryptology - CRYPTO \u201992","author":"D. Chaum","year":"1993","unstructured":"Chaum, D., Pedersen, T.: Wallet Databases with Observers. In: Brickell, E.F. (ed.) CRYPTO 1992. LNCS, vol.\u00a0740, pp. 89\u2013105. Springer, Heidelberg (1993)"},{"issue":"2","key":"25_CR12","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/358549.358563","volume":"24","author":"D.L. Chaum","year":"1981","unstructured":"Chaum, D.L.: Untraceable electronic mail, return addresses, and digital pseudonyms. Commun. ACM\u00a024(2), 84\u201390 (1981)","journal-title":"Commun. ACM"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-27576-0_4","volume-title":"Financial Cryptography and Data Security","author":"J. Clark","year":"2012","unstructured":"Clark, J., Hengartner, U.: Selections: Internet Voting with Over-the-Shoulder Coercion-Resistance. In: Danezis, G. (ed.) FC 2011. LNCS, vol.\u00a07035, pp. 47\u201361. Springer, Heidelberg (2012)"},{"key":"25_CR14","unstructured":"Computing Research Association: Four grand challenges in trustworthy computing (2003)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Cortier, V., Smyth, B.: Attacking and fixing Helios: An analysis of ballot secrecy. In: Proceedings of the 24th Computer Security Foundations Symposium, CSF 2011 (2011)","DOI":"10.1109\/CSF.2011.27"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-48658-5_19","volume-title":"Advances in Cryptology - CRYPTO \u201994","author":"R. Cramer","year":"1994","unstructured":"Cramer, R., Damg\u00e5rd, I., Schoenmakers, B.: Proof of Partial Knowledge and Simplified Design of Witness Hiding Protocols. In: Desmedt, Y.G. (ed.) CRYPTO 1994. LNCS, vol.\u00a0839, pp. 174\u2013187. Springer, Heidelberg (1994)"},{"issue":"5","key":"25_CR17","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1002\/ett.4460080506","volume":"8","author":"R. Cramer","year":"1997","unstructured":"Cramer, R., Gennaro, R., Schoenmakers, B.: A secure and optimally efficient multi-authority election scheme. European Transactions on Telecommunications\u00a08(5), 481\u2013490 (1997)","journal-title":"European Transactions on Telecommunications"},{"key":"25_CR18","unstructured":"Crockford, D.: Javascript object notation (July 2006), http:\/\/www.ietf.org\/rfc\/rfc4627.txt"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-48184-2_3","volume-title":"Advances in Cryptology - CRYPTO \u201987","author":"Y.G. Desmedt","year":"1988","unstructured":"Desmedt, Y.G., Goutier, C., Bengio, S.: Special Uses and Abuses of the Fiat Shamir Passport Protocol. In: Pomerance, C. (ed.) CRYPTO 1987. LNCS, vol.\u00a0293, pp. 21\u201339. Springer, Heidelberg (1988)"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/11556992_24","volume-title":"Information Security","author":"Y. Desmedt","year":"2005","unstructured":"Desmedt, Y., Kurosawa, K.: Electronic voting: Starting over? In: Zhou, J., L\u00f3pez, J., Deng, R.H., Bao, F. (eds.) ISC 2005. LNCS, vol.\u00a03650, pp. 329\u2013343. Springer, Heidelberg (2005)"},{"key":"25_CR21","unstructured":"Desmedt, Y., Chaidos, P.: Blinding ballot copying in Helios: from Condorcet to IACR. In: CRYPTO 2011 Rump Session (2011), http:\/\/rump2011.cr.yp.to\/"},{"issue":"6","key":"25_CR22","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"22","author":"W. Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.: New directions in cryptography. IEEE Transactions on Information Theory\u00a022(6), 644\u2013654 (1976)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"4","key":"25_CR23","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/TIT.1985.1057074","volume":"31","author":"T. Elgamal","year":"1985","unstructured":"Elgamal, T.: A public key cryptosystem and a signature scheme based on discrete logarithms. IEEE Transactions on Information Theory\u00a031(4), 469\u2013472 (1985)","journal-title":"IEEE Transactions on Information Theory"},{"key":"25_CR24","series-title":"EVT\/WOTE 2010","first-page":"1","volume-title":"Proceedings of the 2010 International Conference on Electronic Voting Technology\/Workshop on Trustworthy Elections","author":"S. Estehghari","year":"2010","unstructured":"Estehghari, S., Desmedt, Y.: Exploiting the client vulnerabilities in internet e-voting systems: hacking Helios 2.0 as an example. In: Proceedings of the 2010 International Conference on Electronic Voting Technology\/Workshop on Trustworthy Elections. EVT\/WOTE 2010, pp. 1\u20139. USENIX Association, Berkeley (2010)"},{"key":"25_CR25","unstructured":"Estonian National Electoral Committee: E-voting system -general overview (2010), http:\/\/www.vvk.ee\/public\/dok\/General_Description_E-Voting_2010.pdf"},{"issue":"2","key":"25_CR26","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02351717","volume":"1","author":"U. Feige","year":"1988","unstructured":"Feige, U., Fiat, A., Shamir, A.: Zero-knowledge proofs of identity. Journal of Cryptology\u00a01(2), 77\u201394 (1988)","journal-title":"Journal of Cryptology"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Feige, U., Shamir, A.: Witness indistinguishable and witness hiding protocols. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing, pp. 416\u2013426. ACM (1990)","DOI":"10.1145\/100216.100272"},{"key":"25_CR28","series-title":"Lecture Notes in Computer Science","first-page":"186","volume-title":"Advances in Cryptology - CRYPTO \u201986","author":"A. Fiat","year":"1987","unstructured":"Fiat, A., Shamir, A.: How to Prove Yourself: Practical Solutions to Identification and Signature Problems. In: Odlyzko, A.M. (ed.) CRYPTO 1986. LNCS, vol.\u00a0263, pp. 186\u2013194. Springer, Heidelberg (1987)"},{"key":"25_CR29","unstructured":"Gerlach, J., Gasser, U.: Three case studies from switzerland: E-voting. Berkman Center Research Publication No. 3 (2009)"},{"key":"25_CR30","unstructured":"Gj\u00f8steen, K.: Analysis of an internet voting protocol. Cryptology ePrint Archive, Report 2010\/380 (2010)"},{"key":"25_CR31","doi-asserted-by":"crossref","unstructured":"Goldwasser, S., Kalai, Y.: On the (in) security of the Fiat-Shamir paradigm. In: Proceedings of 44th Annual IEEE Symposium on Foundations of Computer Science, pp. 102\u2013113. IEEE (2003)","DOI":"10.1109\/SFCS.2003.1238185"},{"key":"25_CR32","doi-asserted-by":"crossref","unstructured":"Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof-systems. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing, pp. 291\u2013304. ACM (1985)","DOI":"10.1145\/22145.22178"},{"key":"25_CR33","unstructured":"Helios Voting: Helios v3 verification specs (August 2011), http:\/\/documentation.heliosvoting.org\/verification-specs\/helios-v3-verification-specs"},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Pieters, W.: Electronic voting in the Netherlands: from early adoption to early abolishment. In: Foundations of Security Analysis and Design V, pp. 121\u2013144 (2009)","DOI":"10.1007\/978-3-642-03829-7_4"},{"key":"25_CR35","unstructured":"Mote Jr., C.: Report of the national workshop on internet voting: issues and research agenda. In: Proceedings of the 2000 Annual National Conference on Digital Government Research, pp. 1\u201359. Digital Government Society of North America (2000)"},{"key":"25_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-48071-4_3","volume-title":"Advances in Cryptology - CRYPTO \u201992","author":"T. Okamoto","year":"1993","unstructured":"Okamoto, T.: Provably Secure and Practical Identification Schemes and Corresponding Signature Schemes. In: Brickell, E.F. (ed.) CRYPTO 1992. LNCS, vol.\u00a0740, pp. 31\u201353. Springer, Heidelberg (1993)"},{"key":"25_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-46885-4_16","volume-title":"Advances in Cryptology - EUROCRYPT \u201989","author":"T. Okamoto","year":"1990","unstructured":"Okamoto, T., Ohta, K.: Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-reducibility. In: Quisquater, J.-J., Vandewalle, J. (eds.) EUROCRYPT 1989. LNCS, vol.\u00a0434, pp. 134\u2013149. Springer, Heidelberg (1990)"},{"issue":"1","key":"25_CR38","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/2981392","volume":"109","author":"L. Penrose","year":"1946","unstructured":"Penrose, L.: The elementary statistics of majority voting. Journal of the Royal Statistical Society\u00a0109(1), 53\u201357 (1946)","journal-title":"Journal of the Royal Statistical Society"},{"key":"25_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-49264-X_32","volume-title":"Advances in Cryptology - EUROCRYPT \u201995","author":"K. Sako","year":"1995","unstructured":"Sako, K., Kilian, J.: Receipt-Free Mix-Type Voting Scheme. In: Guillou, L.C., Quisquater, J.-J. (eds.) EUROCRYPT 1995. LNCS, vol.\u00a0921, pp. 393\u2013403. Springer, Heidelberg (1995)"},{"issue":"3","key":"25_CR40","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF00196725","volume":"4","author":"C. Schnorr","year":"1991","unstructured":"Schnorr, C.: Efficient signature generation by smart cards. Journal of Cryptology\u00a04(3), 161\u2013174 (1991)","journal-title":"Journal of Cryptology"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2012"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33167-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T23:43:52Z","timestamp":1743983032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33167-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331664","9783642331671"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33167-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}