Formal Verification of Remote Voting Systems

Funded by Science Foundation Ireland Lero Graduate School of Software Engineering (LGSSE)

LGSSE Scholar: Dermot Cochran

The goal of this project is to prove that Verified Verifiable Remote Computer Based Voting is appropriate for both national and international elections.

The high-level objectives of the project are:

• Develop a formal mathematical model of voting systems, with particular reference to the information security requirements. Prove that this model is both sound and complete.
• Design, develop, test and formally verify a voting system which implements this model.
• Perform formal risk analysis and case studies to validate the usability, scalability and robustness of the system.