A Safety Critical System
Margaret Anne McGaley
Department of Computer Science,
National University of Ireland, Maynooth
March 4, 2003
This is a study of electronic voting, with emphasis on its implementation in the Republic of Ireland. We place electronic voting in its historical context, and define the basic requirements for any voting system. We examine remote electronic voting (REV) and kiosk voting - in particular the Nedap/Powervote system bought by the Irish government - to see if they can meet those requirements. We were motivated by a concern that the Nedap/Powervote system may not be a satisfactory solution to Irish electoral needs. Our conclusion is that while an adequate electronic voting system is possible, Nedap/Powervote is not it.
A research report submitted in partial fulfillment of the requirements for the
B.Sc. Computer Science and Software Engineering.
Supervisor: Dr. J. Paul Gibson