Date of Award


Document Type


Degree Name

Doctor of Philosophy (PhD)


Computer Engineering and Sciences

First Advisor

Marius C. Silaghi

Second Advisor

William Allen

Third Advisor

Michael King

Fourth Advisor

Veton Këpuska


This research aims to explore processes for designing verifiable voting systems in which certain properties can be proven, exemplified with systems applicable to election processes in Saudi Arabia. The electronic government model has become a substantial channel for governments to connect to businesses and citizens, to develop services, and provide general information. E-voting and in particular online voting is one of the important tools that can be used in political and administrative places where information and communications technology devices and tools are utilized to simplify people’s lives and facilitate the election process and decision making. Election processes let a population reveal their preferences regarding how they would like business to be conducted and help provide feedback to the upper administration. As might be expected, the integrity of the election procedures is the backbone of modern state management, so the voting system should be adequately strong in order to resist a variation of deceitful conduct. Moreover, the system should also be appropriately explicit and understandable such that voters and candidates agree on the outcomes of the election. The integrity and confidentiality of this type of system will not be preserved unless restricted measures on security and authentication are enforced.


Copyright held by author