This project will involve investigating the code of an online voting system. There are several possible candidate systems including:
- the iVote system which has been used in NSW and WA
- the IVXV system used in Estonia
- the Swiss Post system used in Switzerland
There are several possible avenues of investigation:
- Exploitable attacks
- Quality of code documentation
- Quality of specification and security arguments
- Examination using formal methods such as model checking