Investigation of Online Voting Systems

Picture of thomas-haines.md Thomas Haines

3 Mar 2023

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.

arrow-left bars search times