{"id":"https://openalex.org/W2562149282","doi":"https://doi.org/10.1145/3014812.3014845","title":"Formally verified invariants of vote counting schemes","display_name":"Formally verified invariants of vote counting schemes","publication_year":2016,"publication_date":"2016-12-20","ids":{"openalex":"https://openalex.org/W2562149282","doi":"https://doi.org/10.1145/3014812.3014845","mag":"2562149282"},"language":"en","primary_location":{"id":"doi:10.1145/3014812.3014845","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3014812.3014845","pdf_url":null,"source":{"id":"https://openalex.org/S4306524001","display_name":"Proceedings of the Australasian Computer Science Week Multiconference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Australasian Computer Science Week Multiconference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004983881","display_name":"Florrie Verity","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Florrie Verity","raw_affiliation_strings":["The Australian National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Australian National University","institution_ids":["https://openalex.org/I118347636"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077171828","display_name":"Dirk Pattinson","orcid":"https://orcid.org/0000-0002-5832-6666"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Dirk Pattinson","raw_affiliation_strings":["The Australian National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Australian National University","institution_ids":["https://openalex.org/I118347636"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I118347636"],"apc_list":null,"apc_paid":null,"fwci":0.9706,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.79453894,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"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/mathematical-proof","display_name":"Mathematical proof","score":0.8091386556625366},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7847038507461548},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7689357399940491},{"id":"https://openalex.org/keywords/ballot","display_name":"Ballot","score":0.7320579290390015},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5353316068649292},{"id":"https://openalex.org/keywords/voting","display_name":"Voting","score":0.5191009044647217},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5149329304695129},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49695947766304016},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33606845140457153},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17560088634490967}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8091386556625366},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7847038507461548},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7689357399940491},{"id":"https://openalex.org/C2777094542","wikidata":"https://www.wikidata.org/wiki/Q905151","display_name":"Ballot","level":4,"score":0.7320579290390015},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5353316068649292},{"id":"https://openalex.org/C520049643","wikidata":"https://www.wikidata.org/wiki/Q189760","display_name":"Voting","level":3,"score":0.5191009044647217},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5149329304695129},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49695947766304016},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33606845140457153},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17560088634490967},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3014812.3014845","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3014812.3014845","pdf_url":null,"source":{"id":"https://openalex.org/S4306524001","display_name":"Proceedings of the Australasian Computer Science Week Multiconference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Australasian Computer Science Week Multiconference","raw_type":"proceedings-article"},{"id":"pmh:oai:openresearch-repository.anu.edu.au:1885/238221","is_oa":false,"landing_page_url":"http://hdl.handle.net/1885/238221","pdf_url":null,"source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM International Conference Proceeding Series","raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W18320928","https://openalex.org/W599865085","https://openalex.org/W1526257471","https://openalex.org/W1553511155","https://openalex.org/W1813304904","https://openalex.org/W2011942647","https://openalex.org/W2043278166","https://openalex.org/W2137739383","https://openalex.org/W2203284699","https://openalex.org/W2401454009","https://openalex.org/W2535389769","https://openalex.org/W2921919051","https://openalex.org/W3118490659"],"related_works":["https://openalex.org/W2618102231","https://openalex.org/W4205739996","https://openalex.org/W2091142111","https://openalex.org/W2615644033","https://openalex.org/W2032347069","https://openalex.org/W2091308113","https://openalex.org/W3110939172","https://openalex.org/W4287827824","https://openalex.org/W55831818","https://openalex.org/W2287483166"],"abstract_inverted_index":{"The":[0,73],"correctness":[1],"of":[2,31,40,57,70,78,88,99,109,111,126,149,174,192],"ballot":[3],"counting":[4,20,60,91,128,159],"in":[5,15,22,44,154],"electronically":[6],"held":[7],"elections":[8],"is":[9,62,76],"a":[10,41,132,189],"cornerstone":[11],"for":[12,66,144,180,188],"establishing":[13,68],"trust":[14],"the":[16,38,45,50,96,112,124,141,150,157,166,177,185],"final":[17],"result.":[18],"Vote":[19],"protocols":[21,61],"particular":[23,155],"can":[24],"be":[25],"formally":[26],"specified":[27],"by":[28,172],"as":[29],"systems":[30],"rules,":[32],"where":[33],"each":[34],"rule":[35],"application":[36],"represents":[37],"effect":[39],"single":[42,193],"action":[43],"tallying":[46,71,100],"process":[47],"that":[48,54,77,82,95,134,140,161],"progresses":[49],"count.":[51],"We":[52,93,168],"show":[53,94],"this":[55,170],"way":[56],"formalising":[58],"vote":[59,90,127,158],"also":[63],"particularly":[64],"suitable":[65],"(formally)":[67],"properties":[69,81,110],"schemes.":[72],"key":[74],"notion":[75],"an":[79],"invariant:":[80],"transfer":[83],"from":[84,165],"premiss":[85],"to":[86,104],"conclusion":[87],"all":[89],"rules.":[92],"rule-based":[97],"formulation":[98],"schemes":[101],"allows":[102],"us":[103],"give":[105],"transparent":[106],"formal":[107],"proofs":[108,120],"respective":[113,151],"scheme":[114],"with":[115],"relative":[116],"ease.":[117],"As":[118],"our":[119],"are":[121,138,162],"based":[122],"on":[123],"specification":[125],"protocols,":[129],"rather":[130],"than":[131],"program":[133],"implements":[135],"them,":[136],"we":[137],"guaranteed":[139],"property":[142],"holds":[143],"every":[145],"possible":[146],"specification-confirming":[147],"implementation":[148],"protocol.":[152],"This":[153],"includes":[156],"programs":[160],"automatically":[163],"extracted":[164],"specification.":[167],"demonstrate":[169],"point":[171],"means":[173],"two":[175],"examples:":[176],"monotonicity":[178],"criterion":[179,187],"majority":[181,186],"(first-past-the-post)":[182],"voting,":[183],"and":[184],"simple":[190],"version":[191],"transferable":[194],"vote.":[195]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}