{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:23:42Z","timestamp":1743150222185,"version":"3.40.3"},"publisher-location":"Cham","reference-count":71,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031692307"},{"type":"electronic","value":"9783031692314"}],"license":[{"start":{"date-parts":[[2024,11,30]],"date-time":"2024-11-30T00:00:00Z","timestamp":1732924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,30]],"date-time":"2024-11-30T00:00:00Z","timestamp":1732924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-69231-4_5","type":"book-chapter","created":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T08:24:46Z","timestamp":1732868686000},"page":"66-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["\u201cYou Shall Not Abstain!\u201d A Formal Study of\u00a0Forced Participation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6340-8845","authenticated-orcid":false,"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2785-8301","authenticated-orcid":false,"given":"Peter B.","family":"Roenne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7523-8783","authenticated-orcid":false,"given":"Yan","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1677-9034","authenticated-orcid":false,"given":"Peter Y. A.","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,30]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30079-3_16","volume-title":"Trust and Privacy in Digital Business","author":"R Aditya","year":"2004","unstructured":"Aditya, R., Lee, B., Boyd, C., Dawson, E.: An efficient mixnet-based voting scheme providing receipt-freeness. In: Katsikas, S., Lopez, J., Pernul, G. (eds.) TrustBus 2004. LNCS, vol. 3184, pp. 152\u2013161. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30079-3_16"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS), pp. 100\u2013109. IEEE Computer Society Press (1997)","key":"5_CR2","DOI":"10.1109\/SFCS.1997.646098"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672\u2013713 (2002). https:\/\/doi.org\/10.1145\/585265.585270","journal-title":"J. ACM"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-17619-7_20","volume-title":"Cryptology and Network Security","author":"R Ara\u00fajo","year":"2010","unstructured":"Ara\u00fajo, R., Ben Rajeb, N., Robbana, R., Traor\u00e9, J., Youssfi, S.: Towards practical and secure coercion-resistant electronic elections. In: Heng, S.-H., Wright, R.N., Goi, B.-M. (eds.) CANS 2010. LNCS, vol. 6467, pp. 278\u2013297. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17619-7_20"},{"doi-asserted-by":"crossref","unstructured":"Backes, M., Hritcu, C., Maffei, M.: Automated verification of remote electronic voting protocols in the applied pi-calculus. In: IEEE 21st Computer Security Foundations Symposium, CSF 2008, pp. 195\u2013209. IEEE (2008)","key":"5_CR5","DOI":"10.1109\/CSF.2008.26"},{"doi-asserted-by":"crossref","unstructured":"Baskar, A., Ramanujam, R., Suresh, S.: Knowledge-based modelling of voting protocols. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 62\u201371. ACM (2007)","key":"5_CR6","DOI":"10.1145\/1324249.1324261"},{"unstructured":"BBC News: Tsvangirai rejects \u2018sham\u2019 ballot (2008). http:\/\/news.bbc.co.uk\/2\/hi\/africa\/7478399.stm","key":"5_CR7"},{"doi-asserted-by":"crossref","unstructured":"Benaloh, J., Tuinstra, D.: Receipt-free secret-ballot elections. In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, pp. 544\u2013553. ACM (1994)","key":"5_CR8","DOI":"10.1145\/195058.195407"},{"unstructured":"Boureanu, I., Jones, A.V., Lomuscio, A.: Automatic verification of epistemic specifications under convergent equational theories. In: Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1141\u20131148 (2012)","key":"5_CR9"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-319-68687-5_7","volume-title":"Electronic Voting","author":"A Bruni","year":"2017","unstructured":"Bruni, A., Drewsen, E., Sch\u00fcrmann, C.: Towards a mechanized proof of selene receipt-freeness and vote-privacy. In: Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O., Sch\u00fcrmann, C. (eds.) E-Vote-ID 2017. LNCS, vol. 10615, pp. 110\u2013126. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68687-5_7"},{"issue":"1\u20132","key":"5_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10817-005-9019-5","volume":"36","author":"R Chadha","year":"2006","unstructured":"Chadha, R., Kremer, S., Scedrov, A.: Formal analysis of multiparty contract signing. J. Autom. Reason. 36(1\u20132), 39\u201383 (2006)","journal-title":"J. Autom. Reason."},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11555827_8","volume-title":"Computer Security \u2013 ESORICS 2005","author":"D Chaum","year":"2005","unstructured":"Chaum, D., Ryan, P.Y.A., Schneider, S.: A practical voter-verifiable election scheme. In: di Vimercati, S.C., Syverson, P., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 118\u2013139. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11555827_8"},{"doi-asserted-by":"publisher","unstructured":"Cortier, V., Galindo, D., K\u00fcsters, R., M\u00fcller, J., Truderung, T.: SoK: verifiability notions for e-voting protocols. In: IEEE Symposium on Security and Privacy, pp. 779\u2013798 (2016). https:\/\/doi.org\/10.1109\/SP.2016.52","key":"5_CR13","DOI":"10.1109\/SP.2016.52"},{"unstructured":"Cortier, V., Gaudry, P., Yang, Q.: Is the JCJ voting system really coercion-resistant? Cryptology ePrint Archive (2022)","key":"5_CR14"},{"unstructured":"Delaune, S., Kremer, S., Ryan, M.: Coercion-resistance and receipt-freeness in electronic voting. In: 19th IEEE Computer Security Foundations Workshop, pp. 12\u2013pp. IEEE (2006)","key":"5_CR15"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12980-3_18","volume-title":"Towards Trustworthy Elections","author":"S Delaune","year":"2010","unstructured":"Delaune, S., Kremer, S., Ryan, M.: Verifying privacy-type properties of electronic voting protocols: a taster. In: Chaum, D., et al. (eds.) Towards Trustworthy Elections. LNCS, vol. 6000, pp. 289\u2013309. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12980-3_18"},{"unstructured":"Delaune, S., Kremer, S., Ryan, M.D.: Receipt-freeness: formal definition and fault attacks. In: Proceedings of the Workshop Frontiers in Electronic Elections (FEE 2005), Milan, Italy. Citeseer (2005)","key":"5_CR17"},{"doi-asserted-by":"crossref","unstructured":"Dreier, J., Lafourcade, P., Lakhnech, Y.: A formal taxonomy of privacy in voting protocols. In: 2012 IEEE International Conference on Communications (ICC), pp. 6710\u20136715. IEEE (2012)","key":"5_CR18","DOI":"10.1109\/ICC.2012.6364938"},{"doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. Elsevier (1990)","key":"5_CR19","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-030-60347-2_4","volume-title":"Electronic Voting","author":"E Estaji","year":"2020","unstructured":"Estaji, E., Haines, T., Gj\u00f8steen, K., R\u00f8nne, P.B., Ryan, P.Y.A., Soroush, N.: Revisiting practical and usable coercion-resistant remote e-voting. In: Krimmer, R., et al. (eds.) E-Vote-ID 2020. LNCS, vol. 12455, pp. 50\u201366. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60347-2_4"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1017\/S0007123418000121","volume":"50","author":"KE Ferree","year":"2020","unstructured":"Ferree, K.E., Jung, D.F., Dowd, R.A., Gibson, C.C.: Election ink and turnout in a partial democracy. Br. J. Polit. Sci. 50(3), 1175\u20131191 (2020)","journal-title":"Br. J. Polit. Sci."},{"unstructured":"Gerhard, A.S.H., Atic, M., Letic, P., Erben, P.: Indelible Ink in Elections. White paper, IFES (2009). https:\/\/web.archive.org\/web\/20191108205514\/https:\/\/www.ifes.org\/sites\/default\/files\/ifes_gerhard_atic_letic_erben_white_paper_indelible_ink_in_elections_may_2019.pdf","key":"5_CR22"},{"doi-asserted-by":"crossref","unstructured":"Giustolisi, R., Garjan, M.S., Schuermann, C.: Thwarting last-minute voter coercion. Cryptology ePrint Archive (2023)","key":"5_CR23","DOI":"10.1109\/SP54263.2024.00112"},{"unstructured":"\u017baneta Gotowalska-Wr\u00f3blewska: Jak nie bra\u0107 udzia\u0142u w referendum? [how not to take part in the referendum?] (2023). https:\/\/wiadomosci.wp.pl\/nie-chcesz-wziac-udzialu-w-referendum-oto-co-powinienes-zrobic-6950661018536768a","key":"5_CR24"},{"issue":"1","key":"5_CR25","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W van der Hoek","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, knowledge and time: alternating-time temporal epistemic logic and its applications. Stud. Logica 75(1), 125\u2013157 (2003)","journal-title":"Stud. Logica"},{"unstructured":"Horbaczewski, R.: S\u0105d najwy\u017cszy odpowiedzia\u0142, czy b\u0119dzie osobny spis wyborc\u00f3w na referendu (2023). https:\/\/www.prawo.pl\/samorzad\/odnotowanie-niepobrania-karty-referendalnej-przez-komisje,523420.html","key":"5_CR26"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-030-00419-4_7","volume-title":"Electronic Voting","author":"W Jamroga","year":"2018","unstructured":"Jamroga, W., Knapik, M., Kurpiewski, D.: Model checking the SELENE E-voting protocol in multi-agent logics. In: Krimmer, R., et al. (eds.) E-Vote-ID 2018. LNCS, vol. 11143, pp. 100\u2013116. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00419-4_7"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-29963-6_10","volume-title":"Security and Trust Management","author":"W Jamroga","year":"2012","unstructured":"Jamroga, W., Mauw, S., Melissen, M.: Fairness in non-repudiation protocols. In: Meadows, C., Fernandez-Gago, C. (eds.) STM 2011. LNCS, vol. 7170, pp. 122\u2013139. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29963-6_10"},{"doi-asserted-by":"publisher","unstructured":"Jamroga, W., Kim, Y.: Practical model reductions for verification of multi-agent systems. In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI, pp. 7135\u20137139. ijcai.org (2023). https:\/\/doi.org\/10.24963\/IJCAI.2023\/834","key":"5_CR29","DOI":"10.24963\/IJCAI.2023\/834"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-030-60347-2_9","volume-title":"Electronic Voting","author":"W Jamroga","year":"2020","unstructured":"Jamroga, W., Kim, Y., Kurpiewski, D., Ryan, P.Y.A.: Towards model checking of voting protocols in Uppaal. In: Krimmer, R., et al. (eds.) E-Vote-ID 2020. LNCS, vol. 12455, pp. 129\u2013146. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60347-2_9"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-030-79318-0_3","volume-title":"Socio-Technical Aspects in Security and Trust","author":"W Jamroga","year":"2021","unstructured":"Jamroga, W., Kurpiewski, D., Malvone, V.: Natural strategic abilities in voting protocols. In: Gro\u00df, T., Vigan\u00f2, L. (eds.) STAST 2020. LNCS, vol. 12812, pp. 45\u201362. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79318-0_3"},{"unstructured":"Jaros, J.: Wie\u015b boi si\u0119 bojkotu referendum. To b\u0119dzie tajemnica poliszynela [The countryside is afraid to boycott the referendum. It will be an open secret] (2023). https:\/\/kalisz.wyborcza.pl\/kalisz\/7,181359,30197487,tajemnica-wyborcza-fikcja-podczas-referendum-kobiety-o-przedwyborczych.html","key":"5_CR32"},{"unstructured":"Jha, P.S.: What a tiny spot of ink can mean. World Press Rev. 49(12) (2002). https:\/\/www.worldpress.org\/Asia\/801.cfm","key":"5_CR33"},{"unstructured":"Jonker, H.L., Pieters, W.: Receipt-freeness as a special case of anonymity in epistemic logic. In: Proceedings of IAVoSS Workshop On Trustworthy Elections (WOTE 2006). Robinson College (2006)","key":"5_CR34"},{"doi-asserted-by":"crossref","unstructured":"Juels, A., Catalano, D., Jakobsson, M.: Coercion-resistant electronic elections. In: Proceedings of the 2005 ACM Workshop on Privacy in the Electronic Society, pp. 61\u201370. ACM (2005)","key":"5_CR35","DOI":"10.1145\/1102199.1102213"},{"unstructured":"Kim, Y., Jamroga, W., Ryan, P.Y.A.: Verification of the socio-technical aspects of voting: the case of the Polish postal vote 2020. In: Proceedings of STAST (2022, to appear). https:\/\/arxiv.org\/abs\/2210.10694","key":"5_CR36"},{"unstructured":"King, L.: Taliban cut off Afghan voters\u2019 ink-stained fingers, election observers say. Los Angeles Times (2009). https:\/\/www.latimes.com\/archives\/la-xpm-2009-aug-23-fg-afghan-election23-story.html","key":"5_CR37"},{"doi-asserted-by":"publisher","unstructured":"Kremer, S., Raskin, J.: Game analysis of abuse-free contract signing. In: Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW 2002), pp. 206\u2013220. IEEE Computer Society Press (2002). https:\/\/doi.org\/10.1109\/CSFW.2002.1021817","key":"5_CR38","DOI":"10.1109\/CSFW.2002.1021817"},{"doi-asserted-by":"publisher","unstructured":"Kremer, S., Raskin, J.F.: A game-based verification of non-repudiation and fair exchange protocols. J. Comput. Secur. 11(3) (2003). https:\/\/doi.org\/10.1007\/3-540-44685-0_37","key":"5_CR39","DOI":"10.1007\/3-540-44685-0_37"},{"doi-asserted-by":"crossref","unstructured":"Ku, W.C., Ho, C.M.: An e-voting scheme against bribe and coercion. In: IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE 2004, pp. 113\u2013116. IEEE (2004)","key":"5_CR40","DOI":"10.1109\/EEE.2004.1287296"},{"key":"5_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-22270-7_4","volume-title":"E-Voting and Identity","author":"O Kulyk","year":"2015","unstructured":"Kulyk, O., Teague, V., Volkamer, M.: Extending helios towards private eligibility verifiability. In: Haenni, R., Koenig, R.E., Wikstr\u00f6m, D. (eds.) VOTELID 2015. LNCS, vol. 9269, pp. 57\u201373. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22270-7_4"},{"unstructured":"Kumar, R.K.: The business of \u2018black-marking\u2019 voters. The Hindu (2004). https:\/\/web.archive.org\/web\/20040412223708\/http:\/\/www.hindu.com\/2004\/03\/17\/stories\/2004031700571300.htm","key":"5_CR42"},{"unstructured":"Kurpiewski, D., et al.: Verification of multi-agent properties in electronic voting: a case study. In: Advances in Modal Logic, pp. 531\u2013556. College Publications (2022)","key":"5_CR43"},{"doi-asserted-by":"crossref","unstructured":"Kusters, R., Truderung, T.: An epistemic approach to coercion-resistance for electronic voting protocols. In: 2009 30th IEEE Symposium on Security and Privacy, pp. 251\u2013266. IEEE (2009)","key":"5_CR44","DOI":"10.1109\/SP.2009.13"},{"doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: A game-based definition of coercion-resistance and its applications. In: Proceedings of the 2010 23rd IEEE Computer Security Foundations Symposium, pp. 122\u2013136. IEEE Computer Society (2010)","key":"5_CR45","DOI":"10.1109\/CSF.2010.16"},{"key":"5_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/3-540-36552-4_27","volume-title":"Information Security and Cryptology \u2014 ICISC 2002","author":"B Lee","year":"2003","unstructured":"Lee, B., Kim, K.: Receipt-free electronic voting scheme with a tamper-resistant randomizer. In: Lee, P.J., Lim, C.H. (eds.) ICISC 2002. LNCS, vol. 2587, pp. 389\u2013406. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36552-4_27"},{"key":"5_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-24691-6_19","volume-title":"Information Security and Cryptology - ICISC 2003","author":"B Lee","year":"2004","unstructured":"Lee, B., Boyd, C., Dawson, E., Kim, K., Yang, J., Yoo, S.: Providing receipt-freeness in mixnet-based voting protocols. In: Lim, J.-I., Lee, D.-H. (eds.) ICISC 2003. LNCS, vol. 2971, pp. 245\u2013258. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24691-6_19"},{"key":"5_CR48","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/0-306-47009-8_50","volume-title":"Towards the E-Society","author":"E Magkos","year":"2002","unstructured":"Magkos, E., Burmester, M., Chrissikopoulos, V.: Receipt-freeness in large-scale elections without untappable channels. In: Schmid, B., Stanoevska-Slabeva, K., Tschammer, V. (eds.) I3E 2001. IIFIP, vol. 74, pp. 683\u2013693. Springer, Boston, MA (2002). https:\/\/doi.org\/10.1007\/0-306-47009-8_50"},{"unstructured":"Mascol Technologies: Invisible election ink. https:\/\/www.election-ink.co.uk\/","key":"5_CR49"},{"key":"5_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-39799-8_48","volume-title":"Computer Aided Verification","author":"S Meier","year":"2013","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.: The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 696\u2013701. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_48"},{"issue":"7","key":"5_CR51","doi-asserted-by":"publisher","first-page":"934","DOI":"10.3923\/itj.2009.934.964","volume":"8","author":"B Meng","year":"2009","unstructured":"Meng, B.: A critical review of receipt-freeness and coercion-resistance. Inf. Technol. J. 8(7), 934\u2013964 (2009)","journal-title":"Inf. Technol. J."},{"key":"5_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BFb0034841","volume-title":"Advances in Cryptology \u2014 ASIACRYPT \u201996","author":"M Michels","year":"1996","unstructured":"Michels, M., Horster, P.: Some remarks on a receipt-free and universally verifiable mix-type voting scheme. In: Kim, K., Matsumoto, T. (eds.) ASIACRYPT 1996. LNCS, vol. 1163, pp. 125\u2013132. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0034841"},{"key":"5_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/11818175_22","volume-title":"Advances in Cryptology - CRYPTO 2006","author":"T Moran","year":"2006","unstructured":"Moran, T., Naor, M.: Receipt-free universally-verifiable voting with everlasting privacy. In: Dwork, C. (ed.) CRYPTO 2006. LNCS, vol. 4117, pp. 373\u2013392. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11818175_22"},{"unstructured":"Notes from Poland: Exit poll: Polish government\u2019s referendum invalidated by low turnout (2023). https:\/\/notesfrompoland.com\/2023\/10\/15\/exit-poll-polish-governments-referendum-invalidated-by-low-turnout\/","key":"5_CR54"},{"key":"5_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BFb0028157","volume-title":"Security Protocols","author":"T Okamoto","year":"1998","unstructured":"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\u201335. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0028157"},{"unstructured":"Pa\u0144stwowa Komisja Wyborcza [National Electoral Commission]: Obwieszczenie pa\u0144stwowej komisji wyborczej z dnia 17 pa\u017adziernika 2023 r. o wynikach g\u0142osowania i wyniku referendum przeprowadzonego w dniu 15 pa\u017adziernika 2023 r. (2023). https:\/\/isap.sejm.gov.pl\/isap.nsf\/DocDetails.xsp?id=WDU19970780483","key":"5_CR56"},{"unstructured":"Pa\u0144stwowa Komisja Wyborcza [National Electoral Commission]: Turnout in 2023 elections for sejm (2023). https:\/\/wybory.gov.pl\/sejmsenat2023\/en\/frekwencja\/pl","key":"5_CR57"},{"unstructured":"Pa\u0144stwowa Komisja Wyborcza [National Electoral Commission]: Turnout in nationwide referendum 2023 (2023). https:\/\/referendum.gov.pl\/referendum2023\/en\/frekwencja\/pl","key":"5_CR58"},{"unstructured":"Pa\u0144stwowa Komisja Wyborcza [National Electoral Commission]: Uchwa\u0142a nr 211\/2023 pkw z dnia 25 wrze\u015bnia 2023 r. w sprawie wytycznych dla obwodowych komisji wyborczych dotycz\u0105cych zada\u0144 i trybu przygotowania oraz przeprowadzenia g\u0142osowania w obwodach g\u0142osowania utworzonych w kraju w wyborach do sejmu rzeczypospolitej polskiej i do senatu rzeczypospolitej polskiej oraz w referendum og\u00f3lnokrajowym zarz\u0105dzonych na dzie\u0144 15 pa\u017adziernika 2023 r. (2023). https:\/\/pkw.gov.pl\/prawo-wyborcze\/uchwaly-pkw\/2023-r\/uchwala-nr-2112023-pkw-z-dnia-25-wrzesnia-2023-r-w-sprawie-wytycznych-dla-obwodowych-komisji-wyborcz","key":"5_CR59"},{"key":"5_CR60","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-1-84882-736-3_5","volume-title":"Formal Methods: State of the Art and New Directions","author":"PYA Ryan","year":"2010","unstructured":"Ryan, P.Y.A.: The computer ate my vote. In: Boca, P., Bowen, J., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 147\u2013184. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84882-736-3_5"},{"key":"5_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-662-53357-4_12","volume-title":"Financial Cryptography and Data Security","author":"PYA Ryan","year":"2016","unstructured":"Ryan, P.Y.A., R\u00f8nne, P.B., Iovino, V.: Selene: voting with transparent verifiability and coercion-mitigation. In: Clark, J., Meiklejohn, S., Ryan, P.Y.A., Wallach, D., Brenner, M., Rohloff, K. (eds.) FC 2016. LNCS, vol. 9604, pp. 176\u2013192. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53357-4_12"},{"issue":"3","key":"5_CR62","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/MSP.2015.54","volume":"13","author":"PYA Ryan","year":"2015","unstructured":"Ryan, P.Y.A., Schneider, S.A., Teague, V.: End-to-end verifiability in voting systems, from theory to practice. IEEE Secur. Priv. 13(3), 59\u201362 (2015). https:\/\/doi.org\/10.1109\/MSP.2015.54","journal-title":"IEEE Secur. Priv."},{"key":"5_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-36213-2_15","volume-title":"Security Protocols XVII","author":"PYA Ryan","year":"2013","unstructured":"Ryan, P.Y.A., Teague, V.: Pretty good democracy. In: Christianson, B., Malcolm, J.A., Maty\u00e1\u0161, V., Roe, M. (eds.) Security Protocols 2009. LNCS, vol. 7028, pp. 111\u2013130. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36213-2_15"},{"key":"5_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-32747-6_5","volume-title":"E-Voting and Identity","author":"M Schl\u00e4pfer","year":"2012","unstructured":"Schl\u00e4pfer, M., Haenni, R., Koenig, R., Spycher, O.: Efficient vote authorization in coercion-resistant internet voting. In: Kiayias, A., Lipmaa, H. (eds.) Vote-ID 2011. LNCS, vol. 7187, pp. 71\u201388. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32747-6_5"},{"issue":"2","key":"5_CR65","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"PY Schobbens","year":"2004","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electron. Notes Theor. Comput. Sci. 85(2), 82\u201393 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"unstructured":"Sejm Rzeczypospolitej Polskiej [Parliament of the Republic of Poland]: Uchwa\u0142a sejmu rzeczypospolitej polskiej z dnia 17 sierpnia 2023 r. o zarz\u0105dzeniu referendum og\u00f3lnokrajowego w sprawach o szczeg\u00f3lnym znaczeniu dla pa\u0144stwa (2023). https:\/\/isap.sejm.gov.pl\/isap.nsf\/download.xsp\/WDU20230001636\/O\/D20231636.pdf","key":"5_CR66"},{"unstructured":"Sitnicka, D.: Najwa\u017cniejsze s\u0105 wybory, referendum jest drugorz\u0119dne. podpowiadamy, jak je bezpiecznie zbojkotowa\u0107 (2023). https:\/\/oko.press\/referendum-bojkot-glosowanie","key":"5_CR67"},{"doi-asserted-by":"publisher","unstructured":"Tabatabaei, M., Jamroga, W., Ryan, P.Y.A.: Expressing receipt-freeness and coercion-resistance in logics of strategic ability: preliminary attempt. In: Proceedings of the 1st International Workshop on AI for Privacy and Security, PrAISe@ECAI 2016, pp. 1:1\u20131:8. ACM (2016). https:\/\/doi.org\/10.1145\/2970030.2970039","key":"5_CR68","DOI":"10.1145\/2970030.2970039"},{"doi-asserted-by":"crossref","unstructured":"Weber, S.G., Araujo, R., Buchmann, J.: On coercion-resistant electronic elections with linear work. In: The Second International Conference on Availability, Reliability and Security, ARES 2007, pp. 908\u2013916. IEEE (2007)","key":"5_CR69","DOI":"10.1109\/ARES.2007.108"},{"unstructured":"Wong, R.: Ink washout. The Star (2008). https:\/\/web.archive.org\/web\/20080430202643\/http:\/\/www.thestar.com.my\/election\/story.asp?file=%2F2008%2F3%2F5%2Felection2008%2F20540844&sec=Election2008 &focus=1","key":"5_CR70"},{"doi-asserted-by":"crossref","unstructured":"Zollinger, M., R\u00f8nne, P.B., Ryan, P.Y.A.: Mechanized proofs of verifiability and privacy in a paper-based e-voting scheme. In: Proceedings of 5th Workshop on Advances in Secure Electronic Voting (2020)","key":"5_CR71","DOI":"10.1007\/978-3-030-54455-3_22"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security. FC 2024 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-69231-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T09:03:07Z","timestamp":1732870987000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-69231-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,30]]},"ISBN":["9783031692307","9783031692314"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-69231-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,30]]},"assertion":[{"value":"30 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Willemstad","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cura\u00e7ao","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc24.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}