Investigation of Online Voting Systems

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

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.