Pattinson, Dirk; Schurmann, Carsten
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...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.