{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T07:41:36Z","timestamp":1774942896349,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"UZH"},{"name":"EU","award":["830927"],"award-info":[{"award-number":["830927"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3373884","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"286-293","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Design and implementation of cast-as-intended verifiability for a blockchain-based voting system"],"prefix":"10.1145","author":[{"given":"Christian","family":"Killer","sequence":"first","affiliation":[{"name":"University of Zurich UZH, Binzm\u00fchlestrasse, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"University of Zurich UZH, Binzm\u00fchlestrasse, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael","family":"Matile","sequence":"additional","affiliation":[{"name":"University of Zurich UZH, Binzm\u00fchlestrasse, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eder","family":"Scheid","sequence":"additional","affiliation":[{"name":"University of Zurich UZH, Binzm\u00fchlestrasse, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Burkhard","family":"Stiller","sequence":"additional","affiliation":[{"name":"University of Zurich UZH, Binzm\u00fchlestrasse, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"No.","author":"Acar Abbas","year":"2018","unstructured":"Abbas Acar , Hidayet Aksu , A. Selcuk Uluagac , and Mauro Conti . 2018 . A Survey on Homomorphic Encryption Schemes: Theory and Implementation. ACM Computing Surveys (CSUR) Vol. 51 , No. 4 July 2018), pp. 79: 1 -- 79 :35. Abbas Acar, Hidayet Aksu, A. Selcuk Uluagac, and Mauro Conti. 2018. A Survey on Homomorphic Encryption Schemes: Theory and Implementation. ACM Computing Surveys (CSUR) Vol. 51, No. 4 July 2018), pp. 79:1--79:35."},{"key":"e_1_3_2_1_2_1","volume-title":"An Overview of End-to-End Verifiable Voting Systems. arXiv:1605.08554 (May","author":"Ali Syed Taha","year":"2016","unstructured":"Syed Taha Ali and Judy Murray . 2016. An Overview of End-to-End Verifiable Voting Systems. arXiv:1605.08554 (May 2016 ). http:\/\/arxiv.org\/abs\/1605.08554 Syed Taha Ali and Judy Murray. 2016. An Overview of End-to-End Verifiable Voting Systems. arXiv:1605.08554 (May 2016). http:\/\/arxiv.org\/abs\/1605.08554"},{"key":"e_1_3_2_1_3_1","volume-title":"Wallach","author":"Benaloh Josh","year":"2017","unstructured":"Josh Benaloh , Matthew Bernhard , J. Alex Halderman , Ronald L. Rivest , Peter Y. A. Ryan , Philip B. Stark , Vanessa Teague , Poorvi L. Vora , and Dan S . Wallach . 2017 . Public Evidence from Secret Ballots . arXiv:1707.08619 (August 2017). http:\/\/arxiv.org\/abs\/1707.08619 Josh Benaloh, Matthew Bernhard, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, and Dan S. Wallach. 2017. Public Evidence from Secret Ballots. arXiv:1707.08619 (August 2017). http:\/\/arxiv.org\/abs\/1707.08619"},{"key":"e_1_3_2_1_4_1","volume-title":"Vora","author":"Benaloh Josh","year":"2015","unstructured":"Josh Benaloh , Ronald L. Rivest , Peter Y. A. Ryan , Philip B. Stark , Vanessa Teague , and Poorvi L . Vora . 2015 . End-to-end Verifiability . arXiv:1504.03778 (2015). http:\/\/arxiv.org\/abs\/1504.03778 Josh Benaloh, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, and Poorvi L. Vora. 2015. End-to-end Verifiability. arXiv:1504.03778 (2015). http:\/\/arxiv.org\/abs\/1504.03778"},{"key":"e_1_3_2_1_5_1","first-page":"544","volume-title":"Receipt-free Secret-ballot Elections. In 26th Annual ACM Symposium on Theory of Computing, (STOC","author":"Benaloh Josh","year":"1994","unstructured":"Josh Benaloh and Dwight Tuinstra . 1994 . Receipt-free Secret-ballot Elections. In 26th Annual ACM Symposium on Theory of Computing, (STOC 1994). pp. 544 -- 553 . Josh Benaloh and Dwight Tuinstra. 1994. Receipt-free Secret-ballot Elections. In 26th Annual ACM Symposium on Theory of Computing, (STOC 1994). pp. 544--553."},{"key":"e_1_3_2_1_6_1","volume-title":"http:\/\/bcbev.ch\/turnout last visit December 1st","author":"\u00fcr Statistik Bundesamt","year":"2019","unstructured":"Bundesamt f \u00fcr Statistik . 2019. Stimmbeteiligung. http:\/\/bcbev.ch\/turnout last visit December 1st , 2019 . Bundesamt f\u00fcr Statistik. 2019. Stimmbeteiligung. http:\/\/bcbev.ch\/turnout last visit December 1st, 2019."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.05.004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/358549.358563"},{"key":"e_1_3_2_1_9_1","first-page":"199","volume-title":"Advances in Cryptology","author":"Chaum David","unstructured":"David Chaum . 1983. Blind Signatures for Untraceable Payments . In Advances in Cryptology . Springer US , Boston, MA . U.S.A., pp. 199 -- 203 . David Chaum. 1983. Blind Signatures for Untraceable Payments. In Advances in Cryptology. Springer US, Boston, MA. U.S.A., pp. 199--203."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005967301210132"},{"key":"e_1_3_2_1_11_1","first-page":"300","volume-title":"Blockchain-Based Internet Voting: Systems' Compliance with International Standards. In Business Information Systems Workshops - (BIS 2018) International Workshops","author":"Cucurull Jordi","year":"2018","unstructured":"Jordi Cucurull , Adri\u00e0 Rodr\u00edguez-P\u00e9rez , Tamara Finogina , and Jordi Puiggali . 2018 . Blockchain-Based Internet Voting: Systems' Compliance with International Standards. In Business Information Systems Workshops - (BIS 2018) International Workshops , Berlin, Germany. pp. 300 -- 312 . Jordi Cucurull, Adri\u00e0 Rodr\u00edguez-P\u00e9rez, Tamara Finogina, and Jordi Puiggali. 2018. Blockchain-Based Internet Voting: Systems' Compliance with International Standards. In Business Information Systems Workshops - (BIS 2018) International Workshops, Berlin, Germany. pp. 300--312."},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"Italian Conference on Cyber Security, (CEUR 2018) Workshop (February","author":"Angelis Stefano De","year":"2018","unstructured":"Stefano De Angelis , Leonardo Aniello , Roberto Baldoni , Federico Lombardi , Andrea Margheri , and Vladimiro Sassone . 2018 . PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain . Italian Conference on Cyber Security, (CEUR 2018) Workshop (February 2018), pp. 1 -- 11 . Stefano De Angelis, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, and Vladimiro Sassone. 2018. PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain. Italian Conference on Cyber Security, (CEUR 2018) Workshop (February 2018), pp. 1--11."},{"key":"e_1_3_2_1_13_1","volume-title":"vom 13. Mai","author":"Bundeskanzlei Die Schweizerische","year":"2015","unstructured":"Die Schweizerische Bundeskanzlei . vom 13. Mai 2015 . Umsetzung von Artikel 50 der Bundesverfassung. http:\/\/bcbev.ch\/fg. last visit December 1st, 2019. Die Schweizerische Bundeskanzlei. vom 13. Mai 2015. Umsetzung von Artikel 50 der Bundesverfassung. http:\/\/bcbev.ch\/fg. last visit December 1st, 2019."},{"key":"e_1_3_2_1_14_1","volume-title":"vom 24. Mai 1978 (Stand am 15. Januar","author":"Bundeskanzlei Die Schweizerische","year":"2014","unstructured":"Die Schweizerische Bundeskanzlei . vom 24. Mai 1978 (Stand am 15. Januar 2014 ). Verordnung \u00fcber die politischen Rechte (VPR). http:\/\/bcbev.ch\/vpr. last visit December 1st, 2019. Die Schweizerische Bundeskanzlei. vom 24. Mai 1978 (Stand am 15. Januar 2014). Verordnung \u00fcber die politischen Rechte (VPR). http:\/\/bcbev.ch\/vpr. last visit December 1st, 2019."},{"key":"e_1_3_2_1_15_1","volume-title":"vom 17. Dezember 1976 (Stand am 1","author":"Die Schweizerische","year":"2015","unstructured":"Die Schweizerische Bundeskanzlei (1). vom 17. Dezember 1976 (Stand am 1 . November 2015 ). Bundesgesetz \u00fcber die politischen Rechte (BPR). http:\/\/bcbev.ch\/bpr. last visit December 1st, 2019. Die Schweizerische Bundeskanzlei (1). vom 17. Dezember 1976 (Stand am 1. November 2015). Bundesgesetz \u00fcber die politischen Rechte (BPR). http:\/\/bcbev.ch\/bpr. last visit December 1st, 2019."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/tit.1985.1057074"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53357-4_16"},{"key":"e_1_3_2_1_18_1","first-page":"186","volume-title":"Advances in Cryptology (CRYPTO '86), Andrew M","author":"Fiat Amos","unstructured":"Amos Fiat and Adi Shamir . 1987. How To Prove Yourself: Practical Solutions to Identification and Signature Problems . In Advances in Cryptology (CRYPTO '86), Andrew M . Odlyzko (Ed.). Springer , Berlin Heidelberg , pp. 186 -- 194 . Amos Fiat and Adi Shamir. 1987. How To Prove Yourself: Practical Solutions to Identification and Signature Problems. In Advances in Cryptology (CRYPTO '86), Andrew M. Odlyzko (Ed.). Springer, Berlin Heidelberg, pp. 186--194."},{"key":"e_1_3_2_1_19_1","first-page":"1","volume-title":"Computer Science Review","volume":"10","author":"Jonker Hugo","year":"2013","unstructured":"Hugo Jonker , Sjouke Mauw , and Jun Pang . 2013 . Privacy and Verifiability in Voting Systems . Computer Science Review Vol. 10 (November 2013), pp. 1 -- 30 . Hugo Jonker, Sjouke Mauw, and Jun Pang. 2013. Privacy and Verifiability in Voting Systems. Computer Science Review Vol. 10 (November 2013), pp. 1 -- 30."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2011.50"},{"key":"e_1_3_2_1_21_1","first-page":"37","volume-title":"Coercion-Resistant Electronic Elections","author":"Juels Ari","unstructured":"Ari Juels , Dario Catalano , and Markus Jakobsson . 2010. Coercion-Resistant Electronic Elections . Springer Berlin Heidelberg , pp. 37 -- 63 . Ari Juels, Dario Catalano, and Markus Jakobsson. 2010. Coercion-Resistant Electronic Elections. Springer Berlin Heidelberg, pp. 37--63."},{"key":"e_1_3_2_1_22_1","first-page":"161","volume-title":"Koenig","author":"Locher Philipp","year":"2016","unstructured":"Philipp Locher , Rolf Haenni , and Reto E . Koenig . 2016 . Coercion-Resistant Internet Voting with Everlasting Privacy. In Financial Cryptography and Data Security. Springer , Berlin Heidelberg, pp. 161 -- 175 . Philipp Locher, Rolf Haenni, and Reto E. Koenig. 2016. Coercion-Resistant Internet Voting with Everlasting Privacy. In Financial Cryptography and Data Security. Springer, Berlin Heidelberg, pp. 161--175."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1365-2575.2005.00184.x"},{"key":"e_1_3_2_1_24_1","volume-title":"CaIV: Cast-as-Intended Verifiability in Blockchain-based Voting. 1st IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2019)","author":"Matile Raphael","year":"2019","unstructured":"Raphael Matile , Bruno Rodrigues , Eder Scheid , and Burkhard Stiller . 2019 . CaIV: Cast-as-Intended Verifiability in Blockchain-based Voting. 1st IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2019) (May 2019). Seoul, South Korea. Raphael Matile, Bruno Rodrigues, Eder Scheid, and Burkhard Stiller. 2019. CaIV: Cast-as-Intended Verifiability in Blockchain-based Voting. 1st IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2019) (May 2019). Seoul, South Korea."},{"key":"e_1_3_2_1_25_1","first-page":"103","volume-title":"Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology (HILT '14)","author":"Nicholas","unstructured":"Nicholas D. Matsakis and Felix S. Klock, II. 2014. The Rust Language . In Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology (HILT '14) . ACM, New York, NY. U.S.A. , pp. 103 -- 104 . Nicholas D. Matsakis and Felix S. Klock, II. 2014. The Rust Language. In Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology (HILT '14). ACM, New York, NY. U.S.A., pp. 103--104."},{"key":"e_1_3_2_1_26_1","first-page":"357","volume-title":"A Smart Contract for Boardroom Voting with Maximum Voter Privacy","author":"McCorry Patrick","unstructured":"Patrick McCorry , Siamak F. Shahandashti , and Feng Hao . 2017. A Smart Contract for Boardroom Voting with Maximum Voter Privacy . In Financial Cryptography and Data Security, Aggelos Kiayias (Ed.). Springer , Cham , pp. 357 -- 375 . Patrick McCorry, Siamak F. Shahandashti, and Feng Hao. 2017. A Smart Contract for Boardroom Voting with Maximum Voter Privacy. In Financial Cryptography and Data Security, Aggelos Kiayias (Ed.). Springer, Cham, pp. 357--375."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49264-X_32"},{"key":"e_1_3_2_1_28_1","first-page":"507","volume-title":"Secure High-Rate Transaction Processing in Bitcoin","author":"Sompolinsky Yonatan","unstructured":"Yonatan Sompolinsky and Aviv Zohar . 2015. Secure High-Rate Transaction Processing in Bitcoin . In Financial Cryptography and Data Security, Rainer B\u00f6hme and Tatsuaki Okamoto (Eds.). Springer , Berlin Heidelberg , pp. 507 -- 527 . Yonatan Sompolinsky and Aviv Zohar. 2015. Secure High-Rate Transaction Processing in Bitcoin. In Financial Cryptography and Data Security, Rainer B\u00f6hme and Tatsuaki Okamoto (Eds.). Springer, Berlin Heidelberg, pp. 507--527."},{"key":"e_1_3_2_1_29_1","unstructured":"P\u00e9ter Szil\u00e1gyi. 2017. Clique PoA protocol & Rinkeby PoA testnet. http:\/\/bcbev.ch\/eip225. last visit December 1st 2019.  P\u00e9ter Szil\u00e1gyi. 2017. Clique PoA protocol & Rinkeby PoA testnet. http:\/\/bcbev.ch\/eip225. last visit December 1st 2019."},{"key":"e_1_3_2_1_30_1","volume-title":"http:\/\/bcbev.ch\/sri. last visit December 1st","author":"Subresource Integrity C.","year":"2019","unstructured":"W3 C. 2016. Subresource Integrity , W3 C Recommendation . http:\/\/bcbev.ch\/sri. last visit December 1st , 2019 . W3C. 2016. Subresource Integrity, W3C Recommendation. http:\/\/bcbev.ch\/sri. last visit December 1st, 2019."},{"key":"e_1_3_2_1_31_1","volume-title":"An E-Voting System based on Blockchain and Ring Signature. Master's Thesis","author":"Yifan Wu.","unstructured":"Yifan Wu. 2017. An E-Voting System based on Blockchain and Ring Signature. Master's Thesis , University of Birmingham. Yifan Wu. 2017. An E-Voting System based on Blockchain and Ring Signature. Master's Thesis, University of Birmingham."}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","location":"Brno Czech Republic","acronym":"SAC '20","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373884","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3373884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:11Z","timestamp":1750204451000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":31,"alternative-id":["10.1145\/3341105.3373884","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3373884","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}