{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T22:35:11Z","timestamp":1785278111469,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T00:00:00Z","timestamp":1693267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,29]]},"DOI":"10.1145\/3600160.3605467","type":"proceedings-article","created":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T22:54:41Z","timestamp":1691621681000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Creating a Decryption Proof Verifier for the Estonian Internet Voting System"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6290-2099","authenticated-orcid":false,"given":"Jan","family":"Willemson","sequence":"first","affiliation":[{"name":"Cybernetica, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,8,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. User Manual for the Verificatum Mix-Net. Version 3.0.4 https:\/\/www.verificatum.org\/files\/vmnum-3.1.0.pdf."},{"key":"e_1_3_2_1_2_1","unstructured":"Michel Abdalla Tor\u00a0Erling Bj\u00f8rstad Carlos Cid Benedikt Gierlichs Andreas H\u00fclsing Atul Luykx Kenneth\u00a0G. Paterson Bart Preneel Ahmad-Reza Sadeghi Terence Spies Martijn Stam Michael Ward Bogdan Warinschi and Gaven Watson. 2018. Algorithms Key Size and Protocols Report. https:\/\/www.ecrypt.eu.org\/csa\/documents\/D5.4-FinalAlgKeySizeProt.pdf."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-84259-8_12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3442034"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00033"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32747-6_13"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-52240-1_6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/EVOTE.2014.7001135"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","unstructured":"Mika Kojo and Tero Kivinen. 2003. More Modular Exponential (MODP) Diffie-Hellman groups for Internet Key Exchange (IKE). RFC 3526. https:\/\/doi.org\/10.17487\/RFC3526","DOI":"10.17487\/RFC3526"},{"key":"e_1_3_2_1_10_1","volume-title":"E-voting in Estonia","author":"Madise \u00dclle","year":"2005","unstructured":"\u00dclle Madise and Tarvi Martens. 2006. E-voting in Estonia 2005. The first Practice of Country-wide binding Internet Voting in the World. In Electronic Voting 2006: 2nd International Workshop, Co-organized by Council of Europe, ESF TED, IFIP WG 8.6 and E-Voting.CC, August, 2nd - 4th, 2006 in Castle Hofen, Bregenz, Austria(LNI, Vol.\u00a0P-86), Robert Krimmer (Ed.). GI, 15\u201326."},{"key":"e_1_3_2_1_11_1","volume-title":"Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. In Workshop on Advances in Secure Electronic Voting","author":"Mueller Johannes","year":"2022","unstructured":"Johannes Mueller. 2022. Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. In Workshop on Advances in Secure Electronic Voting 2022. http:\/\/hdl.handle.net\/10993\/49442."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"Hilarie\u00a0K. Orman. 1998. The OAKLEY Key Determination Protocol. RFC 2412. https:\/\/doi.org\/10.17487\/RFC2412","DOI":"10.17487\/RFC2412"},{"key":"e_1_3_2_1_13_1","volume-title":"Advances in Cryptology \u2014 CRYPTO","author":"Quisquater Jean-Jacques","unstructured":"Jean-Jacques Quisquater, Myriam Quisquater, Muriel Quisquater, Micha\u00ebl Quisquater, Louis Guillou, Marie\u00a0Annick Guillou, Ga\u00efd Guillou, Anna Guillou, Gwenol\u00e9 Guillou, and Soazig Guillou. 1990. How to Explain Zero-Knowledge Protocols to Your Children. In Advances in Cryptology \u2014 CRYPTO\u2019 89 Proceedings, Gilles Brassard (Ed.). Springer New York, New York, NY, 628\u2013631."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660315"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68687-5_17"}],"event":{"name":"ARES 2023: The 18th International Conference on Availability, Reliability and Security","location":"Benevento Italy","acronym":"ARES 2023"},"container-title":["Proceedings of the 18th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600160.3605467","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3600160.3605467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:38Z","timestamp":1750178258000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600160.3605467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,29]]},"references-count":15,"alternative-id":["10.1145\/3600160.3605467","10.1145\/3600160"],"URL":"https:\/\/doi.org\/10.1145\/3600160.3605467","relation":{},"subject":[],"published":{"date-parts":[[2023,8,29]]},"assertion":[{"value":"2023-08-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}