back

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes

If you suspend your transcription on amara.org, please add a timestamp below to indicate how far you progressed! This will help others to resume your work!

Please do not press “publish” on amara.org to save your progress, use “save draft” instead. Only press “publish” when you're done with quality control.

Video duration
01:09:37
Language
English
Abstract
This is a talk about how we can generate single transferable votes counting code from a logical specification automatically using advanced computer aided verification methods.
It is based upon a PhD dissertation but I think I made it non-technical.

I will first explain single transferable vote counting and the parlous state of computer-counting code implemented by various Election Commissions from around Australia. I will then explain how we used Coq to specify a "vanilla" version of single transferable voting as a proof-calculus and used it to extract a computer program which not only counts votes according to this specification but also produces a certificate during the count. The specification of the certificate is derived from the counting rules. We have proved, in Coq, that if the certificate is correct with respect to its specification, then the result it encapsulates must be correct with respect to the relevant specification of single transferable voting. The certificate is designed so that an average third-year computer science student could write a computer program to check the correctness of the certificate.

Talk ID
rc3-nowhere-304
Event:
rc3-2021
Day
2
Room
FeM Channel
Start
10 p.m.
Duration
00:50:00
Track
Fundamentals
Type of
Talk
Speaker
Rajeev Gore
Talk Slug & media link
rc3-2021-fem-304-formally-verified-and-publicly-verifiable-e-counting-for-complex-voting-schemes
English
0.0% Checking done0.0%
0.0% Syncing done0.0%
14.4% Transcribing done14.4%
85.6% Nothing done yet85.6%
  

Work on this video on Amara!

English: Transcribed until

Last revision: 9 months, 1 week ago