Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Schulze voting as evidence carrying computation
Published in International Conference on Interactive Theorem Proving - 2017, 2017
The correctness of vote counting in electronic election is one of the main pillars that engenders trust in electronic elections.
Download here
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
Published in International Joint Conference on Electronic Voting - 2017, 2017
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.
Download here
Modular formalisation and verification of STV algorithms
Published in International Joint Conference on Electronic Voting - 2018, 2018
TWe introduce a formal, modular framework that captures a large number of different instances of the Single Transferable Vote (STV) counting scheme in a uniform way.
Download here
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme
Published in Conference on Verified Software: Theories, Tools, and Experiments - 2019, 2019
The encryption of ballots is crucial to maintaining integrity and anonymity in electronic voting schemes. It enables, amongst other things, each voter to verify that their encrypted ballot has been recorded as cast, by checking their ballot against a bulletin board.
Download here
Verified Verifiers for Verifying Elections
Published in ACM SIGSAC Conference on Computer and Communications Security - 2019, 2019
The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cryptographic techniques for verifying the integrity of electronic voting have been developed and are in increasingly common use.
Download here
talks
Verifiable homomorphic tallying for the schulze vote counting scheme
Published:
The encryption of ballots is crucial to maintaining integrity and anonymity in electronic voting schemes. It enables, amongst other things, each voter to verify that their encrypted ballot has been recorded as cast, by checking their ballot against a bulletin board.
Final PhD Presentation
Published:
This was my final PhD talk, where I discussed the challenges of conducting elections electronically, and their possible solutions.
Machine Checked Properties of the Schulze Method
Published:
The correctness of electronic vote-counting software programs is crucial in establishing the trust of people in electronic voting. However, most of these vote-counting programs, used in various jurisdiction for legally binding election, establish the correctness by means of testing which is not sufficient and leaves much to be desired. Therefore, we propose that legally binding vote-counting software programs should be formally verified and its correctness should be evaluated against some well established framework from social choice theory.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.