{"id":"https://openalex.org/W4412221461","doi":"https://doi.org/10.18420/e-vote-id2024_01","title":"Verifying ElectionGuard - a theoretical and empirical analysis","display_name":"Verifying ElectionGuard - a theoretical and empirical analysis","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4412221461","doi":"https://doi.org/10.18420/e-vote-id2024_01"},"language":"en","primary_location":{"id":"pmh:oai:pure.atira.dk:openaire/7df00323-91b8-4c01-8718-fb1ef7279a1b","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/7df00323-91b8-4c01-8718-fb1ef7279a1b","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gr\u00f8nkj\u00e6r Jensen, M V, Kjeldsen, H-C, Skriver Nielsen, A, Olesen, N B & Aranha, D F 2024, Verifying ElectionGuard: a theoretical and empirical analysis. in E-Vote-ID 2024 - Ninth International Joint Conference on Electronic Voting : Proceedings. Gesellschaft fur Informatik (GI), Bonn, Lecture Notes in Informatics, pp. 17-33, 9th International Joint Conference on Electronic Voting, Tarragona, Spain, 02/10/2024. https://doi.org/10.18420/e-vote-id2024_01","raw_type":"info:eu-repo/semantics/publishedVersion"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/e-vote-id2024_01","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109551508","display_name":"Murray Jensen","orcid":"https://orcid.org/0000-0002-7922-2938"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jensen, Markus V. G.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107484402","display_name":"H. Kjeldsen","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kjeldsen, Hans-Christian","raw_affiliation_strings":["Aarhus University, Natural Sciences, Department of Computer Science, DK"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Natural Sciences, Department of Computer Science, DK","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018991559","display_name":"Anders Nielsen","orcid":"https://orcid.org/0000-0001-9683-9262"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nielsen, Andreas S.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118918513","display_name":"Niklas Bille Olesen","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Olesen, Niklas B.","raw_affiliation_strings":["Aarhus University, Natural Sciences, Department of Computer Science, DK"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Natural Sciences, Department of Computer Science, DK","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020557476","display_name":"Diego F. Aranha","orcid":"https://orcid.org/0000-0002-2457-0783"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Aranha, Diego F.","raw_affiliation_strings":["Aarhus University, Natural Sciences, Department of Computer Science, DK"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Natural Sciences, Department of Computer Science, DK","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5109551508"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.49763198,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13710","display_name":"European and International Law Studies","score":0.2759000062942505,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13710","display_name":"European and International Law Studies","score":0.2759000062942505,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/econometrics","display_name":"Econometrics","score":0.3810409605503082},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3303661346435547},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.28448301553726196}],"concepts":[{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.3810409605503082},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3303661346435547},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.28448301553726196}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:pure.atira.dk:openaire/7df00323-91b8-4c01-8718-fb1ef7279a1b","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/7df00323-91b8-4c01-8718-fb1ef7279a1b","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gr\u00f8nkj\u00e6r Jensen, M V, Kjeldsen, H-C, Skriver Nielsen, A, Olesen, N B & Aranha, D F 2024, Verifying ElectionGuard: a theoretical and empirical analysis. in E-Vote-ID 2024 - Ninth International Joint Conference on Electronic Voting : Proceedings. Gesellschaft fur Informatik (GI), Bonn, Lecture Notes in Informatics, pp. 17-33, 9th International Joint Conference on Electronic Voting, Tarragona, Spain, 02/10/2024. https://doi.org/10.18420/e-vote-id2024_01","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"doi:10.18420/e-vote-id2024_01","is_oa":true,"landing_page_url":"https://doi.org/10.18420/e-vote-id2024_01","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/e-vote-id2024_01","is_oa":true,"landing_page_url":"https://doi.org/10.18420/e-vote-id2024_01","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"End-to-end-verifiable":[0],"voting":[1],"systems":[2],"can":[3,147],"only":[4],"meet":[5],"their":[6],"goals":[7],"if":[8],"independent":[9],"auditors":[10],"are":[11,87],"capable":[12],"of":[13,44,63,77,116,131],"verifying":[14],"election":[15],"outcomes":[16],"as":[17,21,150],"easily":[18],"and":[19,53,75,83],"efficiently":[20],"possible.":[22],"ElectionGuard":[23,65,155],"is":[24],"a":[25,99,151],"prominent":[26],"effort":[27],"in":[28,31,67],"this":[29,57],"direction,":[30],"which":[32],"simplifying":[33],"the":[34,42,48,61,68,78,117,124,134],"verification":[35,125],"process":[36,136],"guides":[37],"several":[38,120],"design":[39,146],"decisions,":[40],"from":[41],"choice":[43],"cryptographic":[45],"group":[46],"to":[47,97,103],"building":[49],"blocks":[50],"for":[51,153],"encryption":[52],"zero-knowledge":[54],"proofs.":[55],"In":[56],"paper,":[58],"we":[59],"present":[60],"development":[62],"optimized":[64],"verifiers":[66,86],"Go":[69],"programming":[70],"language,":[71],"targeting":[72],"versions":[73],"1.1":[74],"2.0":[76,115],"specification,":[79],"focused":[80],"on":[81,89],"analyzability":[82],"efficiency.":[84],"Our":[85],"built":[88],"an":[90,128],"architecture":[91],"emphasizing":[92],"efficiency":[93],"that":[94,113,122,144],"exploits":[95],"parallelism":[96],"achieve":[98],"running":[100],"time":[101],"up":[102],"10":[104],"times":[105,140],"faster":[106],"than":[107],"related":[108],"work.":[109],"We":[110,142],"also":[111],"show":[112],"version":[114],"specification":[118],"introduces":[119],"changes":[121],"improve":[123],"performance":[126],"by":[127],"overall":[129],"factor":[130],"2,":[132],"with":[133],"decryption":[135],"being":[137],"around":[138],"24":[139],"faster.":[141],"expect":[143],"our":[145],"be":[148],"used":[149],"reference":[152],"future":[154],"verifiers.":[156]},"counts_by_year":[],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}