LEADER 04563nam 22008775 450 001 9910349404303321 005 20251225203725.0 010 $a9783030004194 010 $a3030004198 024 7 $a10.1007/978-3-030-00419-4 035 $a(CKB)4100000006674747 035 $a(DE-He213)978-3-030-00419-4 035 $a(MiAaPQ)EBC6241662 035 $a(PPN)230538630 035 $a(EXLCZ)994100000006674747 100 $a20180905d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aElectronic Voting $eThird International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings /$fedited by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (IX, 203 p. 54 illus.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v11143 311 08$a9783030004187 311 08$a303000418X 320 $aIncludes bibliographical references and index. 327 $aComputing the Margin of Victory in Preferential Parliamentary elections -- Ballot-polling Risk Limiting Audits for IRV Elections -- The Threat of SSL/TLS Stripping in Online Voting -- Modular Formalisation and Verification of STV Algorithms -- Online Voting in Indigenous Nations: Lessons From Canada -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics -- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia -- Implementing an audio side channel for paper voting -- The E-voting Readiness Index and the Netherlands -- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding Considered Harmful. 330 $aThis book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018. The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with topics connected with electronic voting including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v11143 606 $aCryptography 606 $aData encryption (Computer science) 606 $aData protection 606 $aComputer engineering 606 $aComputer networks 606 $aSoftware engineering 606 $aInformation technology$xManagement 606 $aComputers and civilization 606 $aCryptology 606 $aData and Information Security 606 $aComputer Engineering and Networks 606 $aSoftware Engineering 606 $aComputer Application in Administrative Data Processing 606 $aComputers and Society 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aData protection. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aInformation technology$xManagement. 615 0$aComputers and civilization. 615 14$aCryptology. 615 24$aData and Information Security. 615 24$aComputer Engineering and Networks. 615 24$aSoftware Engineering. 615 24$aComputer Application in Administrative Data Processing. 615 24$aComputers and Society. 676 $a324.63 676 $a324.65 702 $aKrimmer$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVolkamer$b Melanie$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCortier$b Véronique$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGoré$b Rajeev$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHapsara$b Manik$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSerdült$b Uwe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDuenas-Cid$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349404303321 996 $aElectronic voting$91997601 997 $aUNINA