ITU

Vote Counting as Mathematical Proof

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Standard

Vote Counting as Mathematical Proof. / Schürmann, Carsten; Pattinson, Dirk.

Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. ed. / Bernhard Pfahringer; Jochen Renz. Vol. LNAI 9457 2015. ed. Canberra : Springer, 2015. p. 464-475.

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Harvard

Schürmann, C & Pattinson, D 2015, Vote Counting as Mathematical Proof. in B Pfahringer & J Renz (eds), Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. 2015 edn, vol. LNAI 9457, Springer, Canberra, pp. 464-475.

APA

Schürmann, C., & Pattinson, D. (2015). Vote Counting as Mathematical Proof. In B. Pfahringer, & J. Renz (Eds.), Proceedings of 28th Australasian Joint Conference on Artificial Intelligence (2015 ed., Vol. LNAI 9457, pp. 464-475). Canberra: Springer.

Vancouver

Schürmann C, Pattinson D. Vote Counting as Mathematical Proof. In Pfahringer B, Renz J, editors, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. 2015 ed. Vol. LNAI 9457. Canberra: Springer. 2015. p. 464-475

Author

Schürmann, Carsten ; Pattinson, Dirk. / Vote Counting as Mathematical Proof. Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. editor / Bernhard Pfahringer ; Jochen Renz. Vol. LNAI 9457 2015. ed. Canberra : Springer, 2015. pp. 464-475

Bibtex

@inproceedings{bdbc5f0f4a884bc6a6a934233571d31c,
title = "Vote Counting as Mathematical Proof",
abstract = "Trust in the correctness of an election outcome requires proof of the correctness of vote counting. By formalising particular voting protocols as rules, correctness of vote counting amounts to verifying that all rules have been applied correctly. A proof of the outcome of any particular election then consists of a sequence (or tree) of rule applications and provides an independently checkable certificate of the validity of the result. This reduces the need to trust, or otherwise verify, the correctness of the vote counting software once the certificate has been validated. Using a rule-based formalisation of voting protocols inside a theorem prover, we synthesise vote counting programs that are not only provably correct, but also produce independently verifiable certificates. These programs are generated from a (formal) proof that every initial set of ballots allows to decide the election winner according to a set of given rules.",
author = "Carsten Sch{\"u}rmann and Dirk Pattinson",
year = "2015",
month = "12",
day = "1",
language = "English",
isbn = "978-3-319-26349-6",
volume = "LNAI 9457",
pages = "464--475",
editor = "Bernhard Pfahringer and Jochen Renz",
booktitle = "Proceedings of 28th Australasian Joint Conference on Artificial Intelligence",
publisher = "Springer",
address = "Germany",
edition = "2015",

}

RIS

TY - GEN

T1 - Vote Counting as Mathematical Proof

AU - Schürmann, Carsten

AU - Pattinson, Dirk

PY - 2015/12/1

Y1 - 2015/12/1

N2 - Trust in the correctness of an election outcome requires proof of the correctness of vote counting. By formalising particular voting protocols as rules, correctness of vote counting amounts to verifying that all rules have been applied correctly. A proof of the outcome of any particular election then consists of a sequence (or tree) of rule applications and provides an independently checkable certificate of the validity of the result. This reduces the need to trust, or otherwise verify, the correctness of the vote counting software once the certificate has been validated. Using a rule-based formalisation of voting protocols inside a theorem prover, we synthesise vote counting programs that are not only provably correct, but also produce independently verifiable certificates. These programs are generated from a (formal) proof that every initial set of ballots allows to decide the election winner according to a set of given rules.

AB - Trust in the correctness of an election outcome requires proof of the correctness of vote counting. By formalising particular voting protocols as rules, correctness of vote counting amounts to verifying that all rules have been applied correctly. A proof of the outcome of any particular election then consists of a sequence (or tree) of rule applications and provides an independently checkable certificate of the validity of the result. This reduces the need to trust, or otherwise verify, the correctness of the vote counting software once the certificate has been validated. Using a rule-based formalisation of voting protocols inside a theorem prover, we synthesise vote counting programs that are not only provably correct, but also produce independently verifiable certificates. These programs are generated from a (formal) proof that every initial set of ballots allows to decide the election winner according to a set of given rules.

M3 - Article in proceedings

SN - 978-3-319-26349-6

VL - LNAI 9457

SP - 464

EP - 475

BT - Proceedings of 28th Australasian Joint Conference on Artificial Intelligence

A2 - Pfahringer, Bernhard

A2 - Renz, Jochen

PB - Springer

CY - Canberra

ER -

ID: 80595072