LEADER 04343nam 22007575 450 001 9910890900903321 005 20241120175136.0 010 $a9783031722448 010 $a3031722442 024 7 $a10.1007/978-3-031-72244-8 035 $a(CKB)36178923900041 035 $a(DE-He213)978-3-031-72244-8 035 $a(MiAaPQ)EBC31727474 035 $a(Au-PeEL)EBL31727474 035 $a(EXLCZ)9936178923900041 100 $a20240923d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aElectronic Voting $e9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2?4, 2024, Proceedings /$fedited by David Duenas-Cid, Peter Roenne, Melanie Volkamer, Jurlind Budurushi, Michelle Blom, Adriŕ Rodríguez-Pérez, Iuliia Spycher-Krivonosova, Jordi Castellŕ Roca, Jordi Barrat Esteve 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XI, 175 p. 35 illus., 14 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15014 311 08$a9783031722431 311 08$a3031722434 327 $a -- Belenios with cast-as-intended: towards a usable interface. -- Threshold Receipt-Free Single-Pass eVoting. -- Improving the Computational Efficiency of Adaptive Audits of IRV Elections. -- A Framework for Voters? Trust Repair in Internet Voting. -- Efficient Cleansing in Coercion-Resistant Voting. -- Absentee Online Voters in the Northwest Territories: Attitudes and Impacts on Participation. -- ZK-SNARKs for Ballot Validity: A Feasibility Study. -- Direct and Transparent Voter Verification with Everlasting Receipt-Freeness. -- Expanding the Toolbox: Coercion and Vote-Selling at Vote-Casting Revisited. -- Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. 330 $aThis open access book constitutes the proceedings of the 9th International Joint Conference on Electronic Voting, E-Vote-ID 2024, held in Tarragona, Spain, during October 2-4, 2024. The 10 full papers included in this book were carefully reviewed and selected from 36 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers cover a wide range of topics connected with electronic voting, including experiences and revisions of the actual uses of E-voting systems and corresponding processes in elections. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15014 606 $aCryptography 606 $aData encryption (Computer science) 606 $aArtificial intelligence 606 $aComputer networks$xSecurity measures 606 $aComputer networks 606 $aCryptology 606 $aArtificial Intelligence 606 $aMobile and Network Security 606 $aComputer Communication Networks 615 0$aCryptography. 615 0$aData encryption (Computer science) 615 0$aArtificial intelligence. 615 0$aComputer networks$xSecurity measures. 615 0$aComputer networks. 615 14$aCryptology. 615 24$aArtificial Intelligence. 615 24$aMobile and Network Security. 615 24$aComputer Communication Networks. 676 $a005.824 702 $aDuenas-Cid$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoenne$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVolkamer$b Melanie$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBudurushi$b Jurlind$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBlom$b Michelle$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRodríguez-Pérez$b Adriŕ$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSpycher-Krivonosova$b Iuliia$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCastellŕ Roca$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBarrat Esteve$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910890900903321 996 $aElectronic voting$91997601 997 $aUNINA