No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes

被引：1

作者：

Moses, Lyria Bennett ^{[1
]}

Gore, Rajeev ^{[2
]}

Levy, Ron ^{[3
]}

Pattinson, Dirk ^{[2
]}

Tiwari, Mukesh ^{[2
]}

机构：

[1] UNSW, Fac Law, Sydney, NSW, Australia

[2] Australian Natl Univ, Res Sch Comp Sci, Canberra, ACT, Australia

[3] Australian Natl Univ, Coll Law, Canberra, ACT, Australia

来源：

ELECTRONIC VOTING (E-VOTE-ID 2017) | 2017年 / 10615卷

关键词：

D O I：

10.1007/978-3-319-68687-5_5

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We argue that electronic vote-counting software can engender broad-based public trust in elections to public office only if they are formally verified against their legal definition and only if they can produce an easily verifiable certificate for the correctness of the count. We then show that both are achievable for the Schulze method of vote-counting, even when the election involves millions of ballots. We argue that our methodology is applicable to any vote-counting scheme that is rigorously specified. Consequently, the current practice of using unverified and unverifiable vote counting software for elections to public office is untenable. In particular, proprietary closed source vote-counting software is simply inexcusable.

引用

页码：66 / 83

页数：18