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.